IIRC after USB2 came out, there was "USB Full Speed" (12mbps) and "USB High Speed" (480mbps), then they renamed "USB 2.2 High Speed" it to USB3. USB3 is literally USB2.2 with a name change, so I feel like it fits.
Are you sure you don't mean that USB 1.2 was changed to USB 2.0? I don't recall any naming confusion between USB 2.0 (480 Mbit/s) and 3.x (5 Gbit/s and up).