r4174: nicer debug output