Fix a mistranslation. Improve the style.