Pedantic whitespace fixes