diff --git a/content/http..www.gap-system.org/lib/grp.omdoc b/content/http..www.gap-system.org/lib/grp.omdoc
index 2428863cba463db827f1a83d22bbe9e49d70ed8b..db17c28e2a84390901837e6054a03287daea8b61 100644
--- a/content/http..www.gap-system.org/lib/grp.omdoc
+++ b/content/http..www.gap-system.org/lib/grp.omdoc
@@ -1,4 +1,7 @@
-<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="grp" base="http://www.gap-system.org/lib" meta="http://www.gap-system.org/?Types"><import from="http://www.gap-system.org/lib?magma"></import><constant name="NaturalHomomorphism">
+<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+  <theory name="grp" base="http://www.gap-system.org/lib"
+	  meta="http://www.gap-system.org/?Types">
+    <import from="http://www.gap-system.org/lib?magma"></import><constant name="NaturalHomomorphism">
        
        <type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND>
                  <om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="Pi"></om:OMS>
@@ -1682,4 +1685,4 @@
       </om:OMBIND></om:OMOBJ></type>
        
        
-     </constant></theory></omdoc>
\ No newline at end of file
+     </constant></theory></omdoc>