I’m pretty sure it was shortened, but as a name for a character