remove some typos in the comments