minor whitespace stuff