Looks like a mistake.