diff --git a/doc/install.texi b/doc/install.texi
index 254522bd..e8aa67d7 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -49,7 +49,7 @@ using developer tools or the network.  Because the output of
 package developer so that its output can be put into the distribution
 tarball and ordinary builders and users need not run @command{bootstrap}.
 Some packages have commands like @command{./autopull.sh} and
-@command {./autogen.sh} that you can run instead of @command{./bootstrap},
+@command{./autogen.sh} that you can run instead of @command{./bootstrap},
 for more fine-grained control over bootstrapping.
 
 The @command{configure} shell script attempts to guess correct values