bugfix in trace_return_to_2.