(cleaning debug printout)