diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 16fbdc6c7c..76c64e5cce 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1418,7 +1418,7 @@ su - postgres
       Server developers should consider using the configure options 
       <option>--enable-cassert</> and <option>--enable-debug</> to enhance the
       ability to detect and debug server errors.  They should also consider
-      running configure with <literal>CFLAGS="-O0 -g"</>.
+      running configure with <literal>CFLAGS="-O0 -g"</> if using a debugger.
      </para>
     </note>
    </step>