Issue #92: remove end_history() because it's in base class
Issue #92: cleanup