Arduino Micro PWM pins schematic vs online pinouts discrepancy

I was looking at the schematic of the Arduino micro and the PWM pins that it lists are not the same as every other source I found online:

Schematic: Imgur: The magic of the Internet
For example the PWM Hi speed pins are 12 and 6

Pinouts I found online:


and
http://pighixxx.com/micropdf.pdf
These show that the high speed pwm pins are 5 and 6? Which is correct, I don't want to hook up my peripherals to two different PWM timers. Thanks