diff --git a/doc/src/sgml/ref/revoke.sgml b/doc/src/sgml/ref/revoke.sgml
index ec70bc37a1..190300d533 100644
--- a/doc/src/sgml/ref/revoke.sgml
+++ b/doc/src/sgml/ref/revoke.sgml
@@ -1,5 +1,5 @@
@@ -92,7 +92,10 @@ REVOKE [ ADMIN OPTION FOR ]
PUBLIC. Thus, for example, revoking SELECT> privilege
from PUBLIC does not necessarily mean that all roles
have lost SELECT> privilege on the object: those who have it granted
- directly or via another role will still have it.
+ directly or via another role will still have it. Similarly, revoking
+ SELECT> from a user might not prevent that user from using
+ SELECT> if PUBLIC or another membership
+ role still has SELECT> rights.