Correction of some typos