--- supertux-0.1.3/src/menu.h	2011-02-13 21:26:19.427185060 +0300
+++ supertux-0.1.3_320/src/menu.h	2011-02-13 21:30:06.936066603 +0300
@@ -207,7 +207,7 @@
 
   bool isToggled(int id);
 
-  void Menu::get_controlfield_key_into_input(MenuItem *item);
+  void get_controlfield_key_into_input(MenuItem *item);
 
   void draw   ();
   void draw_item(int index, int menu_width, int menu_height);
