Typo in c0071.pp