remove redo+, because it does not work on Emacs 24.3