diff --git a/docs/manual/install.html b/docs/manual/install.html
index 71c8014c5..342a4665a 100644
--- a/docs/manual/install.html
+++ b/docs/manual/install.html
@@ -253,8 +253,8 @@ kjc.</b>
 
 <p>Make sure you have downloaded any auxiliary jars required to
 build tasks you are interested in. These should either be available
-on the CLASSPATH or added to the <code>lib</code>
-directory.
+on the CLASSPATH or added to the <code>lib/optional</code>
+directory of the source tree.
 See <a href="#librarydependencies">Library Dependencies</a>
 for a list of jar requirements for various features.
 Note that this will make the auxiliary jars