Typo, found by Ben Pfaff.