I tested this fix on a system here and it seems fine.
I've committed it for -12.

--
dann frazier



--
To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org