minor whitespace cleanups