Fix some typos in the comments