diff --git a/doc/src/sgml/ref/drop_extension.sgml b/doc/src/sgml/ref/drop_extension.sgml index 484e5d9b11a..4266c6d1ceb 100644 --- a/doc/src/sgml/ref/drop_extension.sgml +++ b/doc/src/sgml/ref/drop_extension.sgml @@ -82,7 +82,7 @@ DROP EXTENSION [ IF EXISTS ] name [ 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. + explicitly dependent routines, depend on them. This is the default.