Thanks for the catch, that one's been bugging me for a while but RL intervened a bit last year. Will try to get a new version out soon.
Nick -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org