fix a mistranslation