fix a bug in the USB driver debug code