simplify debugging output