diff --git a/functions/domxml.xml b/functions/domxml.xml
index ec87b390d7..df414fbcaf 100644
--- a/functions/domxml.xml
+++ b/functions/domxml.xml
@@ -1,4 +1,4 @@
-<!-- $Revision: 1.19 $ -->
+<!-- $Revision: 1.20 $ -->
 <reference id="ref.domxml">
   <title>DOM XML functions</title>
   <titleabbrev>DOM XML</titleabbrev>
@@ -749,7 +749,7 @@ $root = $doc-&gt;add_root("HTML");
 $head = $root-&gt;new_child("HEAD", "");
 $head-&gt;new_child("TITLE", "Hier der Titel");
 $head-&gt;set_attribute("Language", "ge");
-$children = $head-&gt;children()
+$children = $head-&gt;children();
 ?&gt;
       </programlisting>
      </example>