[IACR] Typo