diff --git a/functions/http.xml b/functions/http.xml
index 33b04635db..43690519f8 100644
--- a/functions/http.xml
+++ b/functions/http.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.41 $ -->
+<!-- $Revision: 1.42 $ -->
  <reference id="ref.http">
   <title>HTTP functions</title>
   <titleabbrev>HTTP</titleabbrev>
@@ -167,7 +167,7 @@ header("Pragma: no-cache");                          // HTTP/1.0
      <informalexample>
       <programlisting role="php">
 <![CDATA[
-<?php require("user_logging.inc") ?>
+<?php require("user_logging.inc.php") ?>
 
 
 <?php header ("Content-type: audio/x-pn-realaudio"); ?>