--- ./src/widgets/gcs-bookmarklist.h.gcc41	2006-07-23 17:29:44.000000000 +0200
+++ ./src/widgets/gcs-bookmarklist.h	2006-07-23 17:30:40.000000000 +0200
@@ -63,7 +63,7 @@
                 void on_list_changed(void) { save_to_disk(); }
 
                 virtual bool on_button_press_event(GdkEventButton* event);
-                void BookmarkList::on_action_rename(void);
+                void on_action_rename(void);
 
                 /*
                 virtual void on_drop_drag_data_received(const