install.texi | 4 +++-

diff --git a/install.texi b/install.texi
index 3c40f520f6e170baf23c43af850a03ba98b1f2fb93d1e98eedadc80c32818b56..147166155617151f0cb6bf493f4b9cebd6cf6a99e078cf196a9e9b0379a42adf 100644
--- a/install.texi
+++ b/install.texi
@@ -19,7 +19,9 @@ @end example
 
 It uses @url{http://cr.yp.to/redo.html, redo} build system for that
 examples. You can use either dozen of various implementations, or at
-least minimalistic POSIX shell @command{contrib/do} included in tarball.
+least minimalistic POSIX shell @command{contrib/do} (just replace
+@command{redo} with @command{contrib/do} in the example above) included
+in tarball.
 
 @include download.texi