Add redo().