diff --git a/doc/src/sgml/ref/discard.sgml b/doc/src/sgml/ref/discard.sgml
index 731f34136e1..a4ca919394c 100644
--- a/doc/src/sgml/ref/discard.sgml
+++ b/doc/src/sgml/ref/discard.sgml
@@ -1,5 +1,5 @@
@@ -11,7 +11,7 @@ PostgreSQL documentation
DISCARD
- Discard internal server state
+ discard session state