minor fixes to Tracing.scala