Fixup redo-exec