Fix a name that got scrambled in conversion