very minor whitespace clean up