Fixed typo in HistoryMan.js comment block