Some typos in the comments