more tracing refinements