fixed back in history manager
tightened up api of HistoryManager