typo found by Markus Elfring
Created after a git rebase -i <coccinelle_remote>/master
and dropping every commit but the typo one
Edited by DE SOUZA Corentin
Created after a git rebase -i <coccinelle_remote>/master
and dropping every commit but the typo one