suggestion for enhancing the tone() page

Folks!

I found out that on the tone() reference page (http://arduino.cc/en/Reference/Tone) there is a misleading advice. it currently explains: Use of the tone() function will interfere with PWM output on pins 3 and 11 (on boards other than the Mega). On my Leonardo analogWrite works fine in pin3. tone() causes troubles with pin5!!!

rgds
-AH-