fix typos, mostly in comments