HistoryLister: bug fix; single undo action was undoing first two operations.