Nick Piggin Sun, 29 Oct 2000 07:38:22 -0800
I apologise if this oops has already been fixed: it has happened twice but I can't find the exact way to trigger it, I just want to make sure it is reported ;) Nick
oops