Correcting mistakes in translations.