Thank you very much for pointing this out. A correction request has just been sent.