diff --git a/doc/src/sgml/bki.sgml b/doc/src/sgml/bki.sgml
index aa3d6f8e59321fb8397eefb3e529790b941acbda..6523dd5032c13bca883cb3afa04ba716e022f7da 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 4788ef4ba9342f97dd16420281f56e6eff993cd9..e5d064de83aaa87cdc8c3829ad7faa7183a87ff2 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -2300,7 +2300,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>