better debugger output