diff --git a/doc/src/sgml/ref/alter_role.sgml b/doc/src/sgml/ref/alter_role.sgml
index 641c4ef377c..bfa739efa54 100644
--- a/doc/src/sgml/ref/alter_role.sgml
+++ b/doc/src/sgml/ref/alter_role.sgml
@@ -1,5 +1,5 @@
@@ -36,8 +36,8 @@ where option can be:
ALTER ROLE name RENAME TO newname
-ALTER ROLE name SET parameter { TO | = } { value | DEFAULT }
-ALTER ROLE name RESET parameter
+ALTER ROLE name SET varname { TO | = } { value | DEFAULT }
+ALTER ROLE name RESET varname
@@ -143,7 +143,7 @@ ALTER ROLE name RESET
- parameter
+ varname
value
diff --git a/doc/src/sgml/ref/alter_user.sgml b/doc/src/sgml/ref/alter_user.sgml
index d5dc3f1fca3..909be0b1d4c 100644
--- a/doc/src/sgml/ref/alter_user.sgml
+++ b/doc/src/sgml/ref/alter_user.sgml
@@ -1,5 +1,5 @@
@@ -36,8 +36,8 @@ where option can be:
ALTER USER name RENAME TO newname
-ALTER USER name SET parameter { TO | = } { value | DEFAULT }
-ALTER USER name RESET parameter
+ALTER USER name SET varname { TO | = } { value | DEFAULT }
+ALTER USER name RESET varname
diff --git a/doc/src/sgml/ref/reset.sgml b/doc/src/sgml/ref/reset.sgml
index da4c9b191cf..f8729d3fdae 100644
--- a/doc/src/sgml/ref/reset.sgml
+++ b/doc/src/sgml/ref/reset.sgml
@@ -1,5 +1,5 @@
@@ -20,7 +20,7 @@ PostgreSQL documentation
-RESET name
+RESET varname
RESET ALL
@@ -33,7 +33,7 @@ RESET ALL
default values. RESET is an alternative
spelling for
-SET parameter TO DEFAULT
+SET varname TO DEFAULT
Refer to for
details.
@@ -62,7 +62,7 @@ SET parameter TO DEFAULT
- name
+ varname
The name of a run-time parameter. See
@@ -20,7 +20,7 @@ PostgreSQL documentation
-SET [ SESSION | LOCAL ] name { TO | = } { value | 'value' | DEFAULT }
+SET [ SESSION | LOCAL ] varname { TO | = } { value | 'value' | DEFAULT }
SET [ SESSION | LOCAL ] TIME ZONE { timezone | LOCAL | DEFAULT }
@@ -91,7 +91,7 @@ SET [ SESSION | LOCAL ] TIME ZONE { timezone
- name
+ varname
Name of a settable run-time parameter. Available parameters are