Small fix to Debugger class.