On Fri, 30 Oct 2009, David Bremner wrote: > Come to think of it, the following patch looks more sensible to me. This one works fine. Thanks for your effort Andreas.