console demo: history repaired