Fix redo-exec when it fails