Michael, thank you for this report. Does the fix as proposed by Hernan indeed work for you? If so, I will have a look into whether the documentation needs an update.
Regards Rolf -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
