Hay dudas acerca del auténtico nombre del pequeño, pues el irlandés «Sean» parece haber sido sustituido por el equivalente anglosajón «John», que dio lugar a que se le conociera familiarmente como «Jack».