Tiny whitespace tidy up.