cleanup: Whitespace nits.