Underlying HistoryManager done.