postgresql84: one more fix...