--On torsdag, januari 15, 2004 00.16.47 +0100 Palle Girgensohn <girgen at pingpong.net> wrote: > I can also reproduce this, but not every time. Sorry, I *can* reproduce this *every time*. I was wrong. I'll send a report in a separate mail in a short while. /Palle