Which Arduino core are you using?
My core vs almost all others one distribute PWM pins differently between the timers so this could be a key factor in determining the way forward.
Also, pin naming convention:
Refer to pins via the Pxn names, or by the arduino pin numbers (depending on which the pinout charts you use encourage). if you must use the physical pin numbers instead, explicitly say "Physical pin 6".
Final edit: Next time you have question specific to a microcontroller not used in official boards, I suggest using the Microcontrollers section. Its a closer matcjh