r11477: nicer verbose tracing output