tweaking debug tracing