I reported this bug upstream too: see <https://sf.net/tracker/?func=detail&aid=650436&group_id=2479&atid=102479>.
-- Jon Dowland http://jon.dowland.name/ PGP fingerprint: 7032F238 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]