That seems to be a spurious whitespace change