diff --git a/doc/src/sgml/ref/revoke.sgml b/doc/src/sgml/ref/revoke.sgml
index 88ef05aeb03..5c70f5ed330 100644
--- a/doc/src/sgml/ref/revoke.sgml
+++ b/doc/src/sgml/ref/revoke.sgml
@@ -1,5 +1,5 @@
@@ -375,7 +375,7 @@ REVOKE GRANT OPTION FOR privilege [
If user1 gives a privilege WITH GRANT OPTION to user2,
- and user2 gives it to user3, then if user1 tries revoke
+ and user2 gives it to user3, then if user1 tries to revoke
this privilege it fails if he specify the RESTRICT
keyword.