Damien Cassou <damien@cassou.me> writes:
> Indeed. I applied the change suggested by Eli. Also, the same sentence
> appeared several times in the file so the patch changes them all.

Here is the correct patch (the comment was changed). I'm sorry for the
noise.

-- 
Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill