В доцензурной версии «В круге первом» Солженицын изменил все имена, кроме одного – имени преданного советского шпиона Коваля: очевидно, потому что думал, что это имя ненастоящее. Как оказалось, он ошибался.