Good evening, I'm very sorry for my late response. Thank you very much for reporting the bug. I'll try to reproduce the error and will contact the upstream authors if needed.
Best regards, Kees -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org