fix syntax error noticed by Stéphane Gallès