Tiny whitespace reformatting