just a few typos in comments