Formel Fast PWM-Frequenz: Wo liegt der Fehler?

Hallo,

ich erzeuge mit einem Atmega644 ein PWM-Signal mit Timer 1 im Fast PWM 
Modus.
Der Controller ist mit 20Mhz getaktet.

TOP ist ICR1, da ich die Frequenz anpassen können möchte. Mit OCR1A 
ändere ich das Tastverhältnis.

Im Datenblatt (S 119) steht sinngemäß:
PWMfrequenz= clock_io / (prescaler * (1+ICR1) )
Als Clock-IO habe ich die Hälfte der Taktfrequenz, also 10Mhz.
Prescaler ist 1.

Meine Fragen:
- Damit der Timer überhaupt läuft, muss ICR1 anscheinend > 0 sein, 
richtig?
- Setze ich ICR1=1, so sehe ich am Oszi einen Takt mit 10 Mhz.
Laut der Formel ergibt sich 10Mhz / (1*(1+1)) = 5 MHz. Das verstehe ich 
nicht.


Danke & Gruß,
Chris