Correct WAL space calculation formula in docs.

Error pointed out by Fujii Masao, though not his patch.

diff --git a/doc/src/sgml/wal.sgml b/doc/src/sgml/wal.sgml
index 2726acb8a7e370ee3391fbd16fd11db411247e07..5678d6ebdd87ffc2fe85e45f40ce6977c6c0d307 100644 (file)
--- a/doc/src/sgml/wal.sgml
+++ b/doc/src/sgml/wal.sgml
@@ -450,9 +450,9 @@
 
   
    There will always be at least one WAL segment file, and will normally
-   not be more than (2 + checkpoint_completion_target) * checkpoint_segments + 1
-   or checkpoint_segments +  + 1
-   files.  Each segment file is normally 16 MB (though this size can be
+   not be more files than the higher of  or
+   (2 + checkpoint_completion_target) * checkpoint_segments + 1.
+   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 WAL.
    Ordinarily, when old log segment files are no longer needed, they