Fix a mistranslation