Fix a typo (thanks, Fippo!)