irrelevant typos in comments