diff --git a/doc/src/sgml/wal.sgml b/doc/src/sgml/wal.sgml
index e7980b386e9920b3c24e018c8683cb8c5b8e245d..faac54530d9fc9420d9bbd36f4a240e1ac1c4b37 100644
--- a/doc/src/sgml/wal.sgml
+++ b/doc/src/sgml/wal.sgml
@@ -481,9 +481,9 @@
 
   <para>
    There will always be at least one WAL segment file, and will normally
-   not be more files than the higher of <xref linkend="guc-wal-keep-segments"> or
-   (2 + <varname>checkpoint_completion_target</varname>) * <varname>checkpoint_segments</varname> + 1.
-   Each segment file is normally 16 MB (though this size can be
+   not be more than (2 + <varname>checkpoint_completion_target</varname>) * <varname>checkpoint_segments</varname> + 1
+   or <varname>checkpoint_segments</> + <xref linkend="guc-wal-keep-segments"> + 1
+   files.  Each segment file is normally 16 MB (though this size can be
    altered when building the server).  You can use this to estimate space
    requirements for <acronym>WAL</acronym>.
    Ordinarily, when old log segment files are no longer needed, they