changed debugger message format