On Sun, Nov 14, 2004 at 08:37:03PM +0100, Marc Haber wrote: > On Sun, Nov 14, 2004 at 07:31:03PM +0000, John Rigg wrote: > > That solved the problem. > > Good. Can this bug be closed? Yes. Thanks. Regards, John