Fix some typos in the doc