Fix typo, other minor improvements.

diff --git a/doc/src/sgml/wal.sgml b/doc/src/sgml/wal.sgml
index c938db435e5759ac2f9572e91115679adf799c09..9888de01932de3140e9768e4de6f2f13fa82badd 100644 (file)
--- a/doc/src/sgml/wal.sgml
+++ b/doc/src/sgml/wal.sgml
@@ -1,4 +1,4 @@
-
+
 
 
  Write-Ahead Logging (<acronym>WAL</acronym>)
@@ -104,17 +104,17 @@
   
 
   
-   Checkpointscheckpoint are points in the sequence of
-   transactions at which it is guaranteed that the data files have
-   been updated with all information logged before the checkpoint.  At
-   checkpoint time, all dirty data pages are flushed to disk and a
-   special checkpoint record is written to the log file. As result, in
-   the event of a crash, the recoverer knows from what point in the
-   log (known as the redo record) it should start the REDO operation,
-   since any changes made to data files before that record are already
-   on disk. After a checkpoint has been made, any log segments written
-   before the redo record are no longer needed and can be recycled or
-   removed. (When WAL archiving is being done, the
+   Checkpointscheckpoint
+   are points in the sequence of transactions at which it is guaranteed
+   that the data files have been updated with all information logged before
+   the checkpoint.  At checkpoint time, all dirty data pages are flushed to
+   disk and a special checkpoint record is written to the log file. As a
+   result, in the event of a crash, the crash recovery procedure knows from
+   what point in the log (known as the redo record) it should start the
+   REDO operation, since any changes made to data files before that point
+   are already on disk. After a checkpoint has been made, any log segments
+   written before the redo record are no longer needed and can be recycled
+   or removed. (When WAL archiving is being done, the
    log segments must be archived before being recycled or removed.)