Fixes to the DriverDebugger.