Small whitespace nits