Update HistoryManager.h