diff --git a/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd b/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd
index eb915ef..ca36e05 100644
--- a/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd
+++ b/org.eclipse.ui.externaltools/schema/configurationDuplicationMaps.exsd
@@ -80,6 +80,7 @@
 configuration of the type&quot;org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType&quot;
 should be created.
 
+&lt;pre&gt;
 &lt;extension
       point=&quot;org.eclipse.ui.externaltools.configurationDuplicationMaps&quot;&gt;
    &lt;configurationMap
@@ -87,6 +88,7 @@
          builderType=&quot;org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType&quot;&gt;
    &lt;/configurationMap&gt;
 &lt;/extension&gt;
+&lt;/pre&gt;
       </documentation>
    </annotation>