Minor whitespace nits.