On Mon, 7 Apr 2008 17:35:19 +0200 (CEST) "Max Horn" <max at quendi.de> wrote: > Eek, that sounds like a bug / misfeature to me. The attached patch > should (hopefully) fix it. If it helps, and nobody (Eugene?) objects, > we could just commit it. No objections. Eugene