diff --git a/reference/misc/functions/ignore-user-abort.xml b/reference/misc/functions/ignore-user-abort.xml
index 7de22afe6e..9e013fe043 100644
--- a/reference/misc/functions/ignore-user-abort.xml
+++ b/reference/misc/functions/ignore-user-abort.xml
@@ -19,7 +19,7 @@
    When running PHP as a command line script, and the script's tty goes
    away without the script being terminated then the script will die the
    next time it tries to write anything, unless
-   <parameter>value</parameter> is to to &true;
+   <parameter>value</parameter> is set to &true;
   </para>
  </refsect1>