Minor bug fix in HistoryController