> > Thanks for the report. Bug found. My bad. A patch is working its way > through the internal process, and will be in the public tree soon. > > Cheers, > Phil That was fast :-) Thanks. Will wait for the patch.