add specifications to HistoryManagerSpec