Redo and Undo work properly