whitespace (trivial reformat)