Michael Heerdegen <michael_heerdegen@web.de> writes:

> I <michael_heerdegen@web.de> wrote:
>
>> The patch fixing the detected errors will come soon.
>
> Ok, here is the (quite trivial) fix.

Great, thanks! Feel free to push.

Cheers,
Nico