Here is the patch I made, I spotted a little typo in a comment, I leave it
in there for now, and provide this as a demonstrator.

I never submitted a patch so I don't really know the best practice, I
cutted it on top of 9.2 (latest pull) then the patch)
I used

$ git format-patch -1 HEAD

Cheers,
Phi