add some debugging traces.