minor whitespace fixups