Double menu name

How to fix it? I can't scroll down.

http://arduino.cc/forum/index.php/topic,118440.0.html