diff --git a/src/plugins/coreplugin/systemsettings.ui b/src/plugins/coreplugin/systemsettings.ui
index 0133031d984..9f48e27f880 100644
--- a/src/plugins/coreplugin/systemsettings.ui
+++ b/src/plugins/coreplugin/systemsettings.ui
@@ -252,7 +252,7 @@
          <item>
           <widget class="QLabel" name="label">
            <property name="toolTip">
-            <string>&lt;html&gt;Influences how file names are matched to decide if they are the same.</string>
+            <string>Influences how file names are matched to decide if they are the same.</string>
            </property>
            <property name="text">
             <string>File system case sensitivity:</string>