minor typos in comments