Fixing finite redo tests