I said:> I don't think the bugs will be hard to fix,
And, indeed, this bug is pretty trivial. Fix will be appliedmomentarily.
regards, tom lane