diff --git a/doc/guix.texi b/doc/guix.texi
index 31f7890fe966b15b7aa99e0d281b8992b7b47569..51429d89646aac092f4d3bffb1ee5e7eb1fbebbc 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -3624,7 +3624,7 @@ version.  New @command{guix} sub-commands added by the update also
 become available.
 
 Any user can update their Guix copy using @command{guix pull}, and the
-effect is limited to the user who run @command{guix pull}.  For
+effect is limited to the user who ran @command{guix pull}.  For
 instance, when user @code{root} runs @command{guix pull}, this has no
 effect on the version of Guix that user @code{alice} sees, and vice
 versa.