Fix broken merge of my previous USB changes in the manual.