Some minor whitespace formatting