Fix typo in INFINITY