Forgot to call clear_history(). Related to #388