Whitespace changes

no functionality change