trivial typo/whitespace fixes