Fixed some typos in the doc