fix some typos/edits/etc. (thanks Jens!)