Fix typo, found by Gabor Greif.