diff --git a/doc/src/sgml/acronyms.sgml b/doc/src/sgml/acronyms.sgml
index 5dad0db1378..d1ef489e366 100644
--- a/doc/src/sgml/acronyms.sgml
+++ b/doc/src/sgml/acronyms.sgml
@@ -513,7 +513,7 @@
PL
- Programming Languages (server-side)
+ Procedural Languages (server-side)