Nitpicky whitespace fixes