Some minor whitespace changes