Minor rectifications.

An untranslated line, a spelling error and a correction.