minor whitespace formatting