minor fixes to whitespace