Whitespace.

This is a diff reduction and makes whitespace consistent to surrounding code.