diff --git a/functions/info.xml b/functions/info.xml
index d879a0b6cf..e574dfb7ef 100644
--- a/functions/info.xml
+++ b/functions/info.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.79 $ -->
+<!-- $Revision: 1.80 $ -->
  <reference id="ref.info">
   <title>PHP options &amp; information</title>
   <titleabbrev>PHP options/info</titleabbrev>
@@ -902,7 +902,7 @@ echo $dat["ru_utime.tv_usec"]; # user time used (microseconds)
     </funcsynopsis>
     <para>
      Returns the value of the configuration option on success,
-     &false; on failure.
+     an empty string on failure.
     </para>
     <para>
      See also <function>ini_get_all</function>,