Fix bugs in debugger