fix redo.el setting