This looks like an inadvertent change.