This looks like an accidental whitespace change.