correction of some typos