Fix auto-whitespace bug