This isn't a whitespace change - intentional?