I think it is a mistake.
Should not change it.