fix typo, pointed out by Patrick Guio