Michael Heerdegen <michael_heerdegen@web.de> writes:

> I'll install the suggested patch in a couple of days if no one objects.

Done, with a minor correction: