fix up debug output