Minor whitespace fixup