diff --git a/INSTALL.txt b/INSTALL.txt
index 503d98968a..c9cec42164 100644
--- a/INSTALL.txt
+++ b/INSTALL.txt
@@ -247,7 +247,7 @@ documentation from the site indicated by `#:dist-base-url'.
 Note that `#:dist-base-url' should almost always end with "/", since
 others URLs will be constructed as relative to `#:dist-base-url'.
 
-The site is generated as "build/site" but default. A `#:site-dest'
+The site is generated as "build/site" by default. A `#:site-dest'
 entry in the configuration file can select an alternate destination.
 
 Use the `site-from-installers' makefile target to perform the part of