little cleanup in debugger classes