--- src/options_dialog.h.old	2006-05-07 22:26:32.000000000 +0200
+++ src/options_dialog.h	2006-05-07 22:26:46.000000000 +0200
@@ -28,7 +28,7 @@
    Game*	_game;
    GtkWidget*	_tooltips;
 
-   void OptionsDialog::OnOk();
+   void OnOk();
 public:
    OptionsDialog(Game* game);
 };