fixup some whitespace