some correction to debugger