--- a/app/rldemo.g
+++ b/app/rldemo.g
@@ -54,12 +54,12 @@
 ##  the terminal). If <A>singleline</A> is  <K>true</K> then all input lines
 ##  of a  block except  the last  one are  sent to  &GAP; and  are evaluated
 ##  automatically before the last line of the block is displayed.
-##  <Example>
+##  <Listing Type="Example">
 ##  gap> dirs := DirectoriesPackageLibrary("Browse");;
 ##  gap> demofile := Filename(dirs, "../app/demo.demo");;
 ##  gap> LoadDemoFile("My first demo", demofile);
 ##  gap> LoadDemoFile("My first demo (single lines)", demofile, true);
-##  </Example>
+##  </Listing>
 ##  </Description>
 ##  </ManSection>
 ##  
