some minor stylistic/typo fixes