assorted typos & stylistic fixes