This looks like a mistake.