Minor cosmetic change to the USB devices lists.