Fix a bad translation