minor cosmetic fixes in the DriverLauncher