Tiny whitespace fixup.