--- gnome-terminal-2.26.3.1/help/en_GB/gnome-terminal.orig.xml	2010-02-18 21:10:38.813888011 +0100
+++ gnome-terminal-2.26.3.1/help/en_GB/gnome-terminal.mod.xml	2010-02-18 21:11:33.967886186 +0100
@@ -564,7 +564,7 @@
              </listitem> 
           </varlistentry> 
           <varlistentry> 
-             <term><guilabel>Disable menu shortcut key (<keycap>F10</keycap> by default)</guilabel></term> 
+             <term><guilabel>Disable menu shortcut key</guilabel> (<keycap>F10</keycap> by default)</term> 
              <listitem> 
                 <para>Deselect this option to disable the shortcut key that is defined to enable you to access the <application>GNOME Terminal</application> menus. The default shortcut key to access the menus is <keycap>F10</keycap>.</para>
              </listitem>