Hi! Thanks for your report and the patch. I've included it in the git repo, it'll be fixed in the next upload. I've also forwarded it to upstream for inclusion. Cheers -- mail: adi at thur.de http://adi.thur.de PGP/GPG: key via keyserver