Erreur de compilation

Voilà un minuscule fix qui règle une erreur de compilation.