diff --git a/doc/src/sgml/history.sgml b/doc/src/sgml/history.sgml
index 856c9b01ded..8bfa1db670d 100644
--- a/doc/src/sgml/history.sgml
+++ b/doc/src/sgml/history.sgml
@@ -203,11 +203,10 @@
- Many people continue to refer to
- PostgreSQL as Postgres
- (now rarely in all capital letters) because of tradition or because
- it is easier to pronounce. This usage is widely accepted as a
- nickname or alias.
+ Postgres is still considered an official
+ project name, both because of tradition and because people find it
+ easier to pronounce Postgres than
+ PostgreSQL.