Thanks much for the patch. Interestingly I had already unwittingly fixed this bug by getting rid of the --quiet option (version is in Google code hg repo). I will close this bug once that version is uploaded to Debian, which should be within a month.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
