Fixed minor error in the debugger