Was this whitespace change intentional?