fix the debugging info