tracing: nicer output