Generally what matters most is ID ID Detail Gender.
Short name or missing letter in name happens due to systems inability to accept full name or time pressure on booking person.
No need to worry go ahead explain to TTE and stood firmly if he/she objects because this is nothing more than a typo.