bugfix in debugger