On Monday 21 July 2008 13:48, Frank Lichtenheld wrote: > I guess this part doesn't really belong to the patch, right? Right, of course. Thanks for noticing. cheers, Thijs