Skatteetaten i Norge har i dag bekreftet at det nye navnet, Frank Benjamin Horn Hartvedt, er registrert i Folkeregisteret. Horn, som tidligere var en del av Hartvedts fulle navn, er nå inkludert igjen.
Horn var pikenavnet til Hartvedts mor.
Oversikt over tidligere registrerte navn i Folkeregisteret:
Fødenavn: Frank Benjamin Hartvedt
28.01.1999: Frank Nuwanda Hartvedt
20.06.2006: Frank Horn Hartvedt
02.03.2011: Frank Benjamin Horn Hartvedt
25.03.2013: Frank Benjamin Hartvedt