Simply fixing a typo in a comment ...

... but I do not understand why I got some of the last commits in this PR :/ sorry !