diff --git a/doc/src/sgml/ref/create_foreign_data_wrapper.sgml b/doc/src/sgml/ref/create_foreign_data_wrapper.sgml
index b8817103880..bc615476bdc 100644
--- a/doc/src/sgml/ref/create_foreign_data_wrapper.sgml
+++ b/doc/src/sgml/ref/create_foreign_data_wrapper.sgml
@@ -1,5 +1,5 @@
@@ -82,7 +82,7 @@ CREATE FOREIGN DATA WRAPPER name
- OPTIONS ( option ['value'] [, ... ] )
+ OPTIONS ( option 'value' [, ... ] )
This clause specifies options for the new foreign-data wrapper.
diff --git a/doc/src/sgml/ref/create_server.sgml b/doc/src/sgml/ref/create_server.sgml
index 494ccc43d94..c588e6b3e6a 100644
--- a/doc/src/sgml/ref/create_server.sgml
+++ b/doc/src/sgml/ref/create_server.sgml
@@ -1,5 +1,5 @@
@@ -85,7 +85,7 @@ CREATE SERVER servername [ TYPE 'se
- OPTIONS ( option ['value'] [, ... ] )
+ OPTIONS ( option 'value' [, ... ] )
This clause specifies the options for the server. The options
diff --git a/doc/src/sgml/ref/create_user_mapping.sgml b/doc/src/sgml/ref/create_user_mapping.sgml
index 6857b3eb7e9..6d40eaf936b 100644
--- a/doc/src/sgml/ref/create_user_mapping.sgml
+++ b/doc/src/sgml/ref/create_user_mapping.sgml
@@ -1,5 +1,5 @@
@@ -69,7 +69,7 @@ CREATE USER MAPPING FOR { username
- OPTIONS ( option ['value'] [, ... ] )
+ OPTIONS ( option 'value' [, ... ] )
This clause specifies the options of the user mapping. The