Improving DEBUG printout