minor clarification in UndoRedo constructor