diff --git a/doc/FAQ b/doc/FAQ
index 6bc484440f..8d00befa3e 100644
--- a/doc/FAQ
+++ b/doc/FAQ
@@ -605,9 +605,9 @@
    should be more than that for best performance. For large numbers of
    backend processes, you are also likely to find that you need to
    increase various Unix kernel configuration parameters. Things to check
-   include the maximum size of shared memory blocks, SHMMAX, the maximum
-   number of semaphores, SEMMNS and SEMMNI, the maximum number of
-   processes, NPROC, the maximum number of processes per user, MAXUPRC,
+   include the maximum size of shared memory blocks, SHMMAX; the maximum
+   number of semaphores, SEMMNS and SEMMNI; the maximum number of
+   processes, NPROC; the maximum number of processes per user, MAXUPRC;
    and the maximum number of open files, NFILE and NINODE. The reason
    that PostgreSQL has a limit on the number of allowed backend processes
    is so your system won't run out of resources.
diff --git a/doc/src/FAQ/FAQ.html b/doc/src/FAQ/FAQ.html
index bae3c6490d..e51b4fa270 100644
--- a/doc/src/FAQ/FAQ.html
+++ b/doc/src/FAQ/FAQ.html
@@ -753,10 +753,10 @@ probably should be more than that for best performance. For large
 numbers of backend processes, you are also likely to find that you need
 to increase various Unix kernel configuration parameters. Things to
 check include the maximum size of shared memory blocks,
-<SMALL>SHMMAX,</SMALL> the maximum number of semaphores,
-<SMALL>SEMMNS</SMALL> and <SMALL>SEMMNI,</SMALL> the maximum number of
-processes, <SMALL>NPROC,</SMALL> the maximum number of processes per
-user, <SMALL>MAXUPRC,</SMALL> and the maximum number of open files,
+<SMALL>SHMMAX;</SMALL> the maximum number of semaphores,
+<SMALL>SEMMNS</SMALL> and <SMALL>SEMMNI;</SMALL> the maximum number of
+processes, <SMALL>NPROC;</SMALL> the maximum number of processes per
+user, <SMALL>MAXUPRC;</SMALL> and the maximum number of open files,
 <SMALL>NFILE</SMALL> and <SMALL>NINODE.</SMALL> The reason that PostgreSQL
 has a limit on the number of allowed backend processes is so 
 your system won't run out of resources.<P>