diff --git a/features/commandline.xml b/features/commandline.xml
index 72a3a8dc1f..bc67ef41c0 100644
--- a/features/commandline.xml
+++ b/features/commandline.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.36 $ -->
+<!-- $Revision: 1.37 $ -->
 <chapter id="features.commandline">
  <title>Using PHP from the command line</title>
  <!-- NEW DOCUMENTATION STARTS -->
@@ -842,7 +842,7 @@ array(370) {
          </screen>
          If you are using a shell different from sh/bash, you might experience
          further issues. Feel free to open a bug report at
-         <ulink url="&url.php.bugs;">&url.php.bugs;</ulink>or send a mail to
+         <ulink url="&url.php.bugs;">&url.php.bugs;</ulink> or send a mail to
          &email.php.doc;.
 
          One can still easily run into troubles when trying to get shell