Fix tiny mistranslation