diff --git a/features/commandline.xml b/features/commandline.xml
index 3f86048837..98d6b3f660 100644
--- a/features/commandline.xml
+++ b/features/commandline.xml
@@ -1107,7 +1107,7 @@ $ some_application | some_filter | php | sort -u > final_output.txt
    first index (zero) always contains the name of the script as called from the
    command line. Note that, if the code is executed in-line using the command
    line switch <option>-r</option>, the value of <varname>$argv[0]</varname>
-   will be just a dash (<literal>-</literal>). The same is true if the code is
+   will be <literal>"Standard input code"</literal>; prior to PHP 7.2.0, it was a dash (<literal>"-"</literal>) instead. The same is true if the code is
    executed via a pipe from <literal>STDIN</literal>.
   </para>