It's being fixed (indeed, it is fixed, but Paul didn't check in the new code in time. Sorry ... ) -- Matthias