diff --git a/doc/src/sgml/ref/drop_extension.sgml b/doc/src/sgml/ref/drop_extension.sgml
index dcc52c2ced0..484e5d9b11a 100644
--- a/doc/src/sgml/ref/drop_extension.sgml
+++ b/doc/src/sgml/ref/drop_extension.sgml
@@ -30,7 +30,7 @@ DROP EXTENSION [ IF EXISTS ] name [
DROP EXTENSION removes extensions from the database.
- Dropping an extension causes its component objects, and other explicitly
+ Dropping an extension causes its member objects, and other explicitly
dependent routines (see ,
the DEPENDS ON EXTENSION extension_name
action), to be dropped as well.
@@ -80,9 +80,9 @@ DROP EXTENSION [ IF EXISTS ] name [
RESTRICT
- This option prevents the specified extensions from being dropped
- if there exist non-extension-member objects that depend on any
- of the extensions. This is the default.
+ This option prevents the specified extensions from being dropped if
+ other objects, besides these extensions, their members, and their
+ explicitly dependent routines, depend on them. This is the default.