Some typos in comments fixed