Dear oh dear, it's a proper typo.