Fix typo (thanks @bbinet)