fix a few typos in comments