diff --git a/functions/dir.xml b/functions/dir.xml
index 41ff172c39..ea59411cfe 100644
--- a/functions/dir.xml
+++ b/functions/dir.xml
@@ -1,5 +1,5 @@
 <?xml encoding="iso-8859-1"?>
-<!-- $Revision: 1.22 $ -->
+<!-- $Revision: 1.23 $ -->
  <reference id="ref.dir">
   <title>Directory functions</title>
   <titleabbrev>Directories</titleabbrev>
@@ -176,7 +176,7 @@ $d->close();
 &lt;?php
 
 if ($dir = @opendir("/tmp")) {
-  while ($file = readdir($dir)) {
+  while (($file = readdir($dir)) !== false) {
     echo "$file\n";
   }  
   closedir($dir);