Hi Christoph, > ping? This is a quite important fix for a bug found by the > Boeblingen Test team. Sorry, saw the patch but didn't follow up. Comments coming.. Cheers, Jeremy