Fix some whitespace formatting