Mysterious typo (?)