Fixed a typo (thanks @PaulMougel !)