Thanks for the quick reply. The patch fixes the issue. I should add, that I changed the code manually, because the fix is sufficiently trivial and did not attempt to download the current version. Sorry I did not spot the associated issue before opening the ticket.