a few stray whitespace cleanups