erlehmann's patch of his own redo system, yet another bug fix.