78772d
--- src/widgets/desktop-widget.h~	2011-07-08 13:25:09.000000000 -0500
78772d
+++ src/widgets/desktop-widget.h	2013-02-15 16:04:45.806910365 -0600
78772d
@@ -239,7 +239,7 @@
78772d
 private:
78772d
     GtkWidget *tool_toolbox;
78772d
     GtkWidget *aux_toolbox;
78772d
-    GtkWidget *commands_toolbox,;
78772d
+    GtkWidget *commands_toolbox;
78772d
     GtkWidget *snap_toolbox;
78772d
 
78772d
     static void init(SPDesktopWidget *widget);