^Secondo l'atto di battesimo gli furono imposti i nomi di Giovanni Alvise Simeon Carlo ma dopo il suo trasferimento a Dresda fu sempre chiamato Giovanni Battista, come fu anche scritto sulla sua tomba. Fonte: Casanova, cit. in bibl., p. 1197, nota 23.