Add redo function.