HistoryManager: Fixed antiquated naming