A few typos in comments