minor whitespace cleanups to make checkpatch.pl happy