Correction of a few translation errors