fix format for DEBUG statement