Fix ICPC typo.