Fix error in redo