Fix some bugs in debugger