Some typos in comments