Minor whitespace fixup.