This seems a mistake.