diff --git a/lib/tietze.gd b/lib/tietze.gd
index 9b03210d49..ee03a6a9f0 100644
--- a/lib/tietze.gd
+++ b/lib/tietze.gd
@@ -394,7 +394,6 @@ DeclareGlobalFunction("AddRelator");
 ##  This time we end up with a shorter presentation.
 ##  <P/>
 ##  <P/>
-##  ]]></Example>
 ##  </Description>
 ##  </ManSection>
 ##  <#/GAPDoc>