--- gnome-games-2.27.90/gnomine/gnomine.c       2009-08-12 14:59:04.000000000 -0400
+++ hacked/gnomine/gnomine.c    2009-08-23 01:42:41.527430702 -0400
@@ -865,7 +870,10 @@
   "    </menu>"
   "    <menu action='HelpMenu'>"
   "      <menuitem action='Contents'/>"
-  "      <menuitem action='About'/>" "    </menu>" "  </menubar>" "</ui>";
+  "      <menuitem action='About'/>"
+  "    </menu>"
+  "  </menubar>"
+  "</ui>";
 
 static GtkUIManager *
 create_ui_manager (const gchar * group)