The wording seems no problem to me. I looked into a patch and changes also seem sensible but I can not apply this patch because of really many rejects. Which commit should I use to apply it onto?
Sorry, the rejects were due to my git configuration. I will apply and make the final checks soon.