Thanks, I've now commented on that issue too.
Also, as a side note: thank you tremendously for all of your articles on your website, such as on timers and counters and interrupts. That interrupt article is a godsend, and has helped me tremendously. I just released a new example in my Timer2_Counter library which reads in PWM pulses very efficiently on any pin, using pin change interrupts, at a resolution of 0.5us, and your site has been key. I point people there all the time.