trace2: fix up a missing "leave" entry point