fixed a few typos in comments