diff --git a/functions/misc.xml b/functions/misc.xml
index 2306374bcb..88b54244e4 100644
--- a/functions/misc.xml
+++ b/functions/misc.xml
@@ -1217,12 +1217,14 @@ if (!odbc_execute ($stmt, &$sqldata) || !odbc_fetch_into ($stmt, &$tmp))
        Then you can use an URL like the one below to display a colorized
        version of a script located in "/path/to/script.php" 
        in your web site.
-        <informalexample>
-	 <programlisting>
-	   http://your.server.com/source/path/to/script.php
-	 </programlisting>
-	</informalexample>
       </simpara>
+      <para>
+       <informalexample>
+	<programlisting>
+http://your.server.com/source/path/to/script.php
+	</programlisting>
+       </informalexample>
+      </para>
      </example>
     </para>
     <simpara>