Fix a naming issue with the translator