Fix some whitespace mistakes