Whitespace bug really fixed

I hope