diff --git a/plugins/terminal/anjuta-terminal-plugin.ui b/plugins/terminal/anjuta-terminal-plugin.ui
index fc6deab..bb9bba0 100644
--- a/plugins/terminal/anjuta-terminal-plugin.ui
+++ b/plugins/terminal/anjuta-terminal-plugin.ui
@@ -80,8 +80,10 @@
         <child type="label">
           <object class="GtkLabel" id="label166">
             <property name="visible">True</property>
-            <property name="label" translatable="yes">&lt;b&gt;Terminal options&lt;/b&gt;</property>
-            <property name="use_markup">True</property>
+            <property name="label" translatable="yes">Terminal options</property>
+            <attributes>
+              <attribute name="weight" value="bold"/>
+            </attributes>
           </object>
         </child>
       </object>
