fix undo/redo to verify