Good catch - it's a mistake.