diff --git a/doc/sql.extensions/README.user_management b/doc/sql.extensions/README.user_management
index 37b8f16389..0a661d5d2a 100644
--- a/doc/sql.extensions/README.user_management
+++ b/doc/sql.extensions/README.user_management
@@ -15,7 +15,7 @@ Syntax is:
    CREATE OR ALTER USER name [ SET ] [ options ] [ TAGS ( tag [, tag [, tag ...]] ) ]
    DROP USER name [ USING PLUGIN name ];
 
-where OPTIONS is a (probably empty) list of following options:
+where OPTIONS is a list of following options:
 - PASSWORD 'password'
 - FIRSTNAME 'firstname'
 - MIDDLENAME 'middlename'