On Fri, 2002-03-01 at 11:35, Richard Hirst wrote: > I can file bugs if people think these things are worth fixing. No need. :-) We already have two serious bugs open for this. Everybody agrees that the current behaviour is wrong, it's just a case of fixing it. See, for example, David's note yesterday about testing his patch for the problem. p.