minor whitespace fixup.