tiny typo and whitespace fixes