updated redo method accordingly