Small bug fix in debugger