About to upload the package with this correction, thanks to Ian for noticing it!
Ian: I do not believe this is worth a stable update, but if you insist, please insist me on doing so, and I'll most probably push it. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org