Hade ett sådant beriktigande framkommit,