diff --git a/doc/src/sgml/bki.sgml b/doc/src/sgml/bki.sgml
index aa3d6f8e593..6523dd5032c 100644
--- a/doc/src/sgml/bki.sgml
+++ b/doc/src/sgml/bki.sgml
@@ -65,7 +65,7 @@
  </para>
 
  <para>
-  Most Postgres developers don't need to be directly concerned with
+  Most PostgreSQL developers don't need to be directly concerned with
   the <acronym>BKI</acronym> file, but almost any nontrivial feature
   addition in the backend will require modifying the catalog header files
   and/or initial data files.  The rest of this chapter gives some
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 2bc55cf45b6..cc83c1fd6fd 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2469,7 +2469,7 @@ xcodebuild -version -sdk macosx Path
     of <literal>DYLD_LIBRARY_PATH</literal> down to the executables being
     tested.  You can work around that by doing <literal>make
     install</literal> before <literal>make check</literal>.
-    Most Postgres developers just turn off SIP, though.
+    Most PostgreSQL developers just turn off SIP, though.
    </para>
   </sect2>