diff --git a/docs/GettingStarted.html b/docs/GettingStarted.html
index f0b51c3..95a2646 100644
--- a/docs/GettingStarted.html
+++ b/docs/GettingStarted.html
@@ -702,8 +702,8 @@
 test directories, and local copies of documentation files.</p>
 
 <p>If you want to get a specific release (as opposed to the most recent
-revision), you can specify a label.  The following releases have the following
-labels:</p>
+revision), you can checkout it from the '<tt>tags</tt>' directory (instead of
+'<tt>trunk</tt>'). The following releases have the following labels:</p>
 
 <ul>
 <li>Release 2.0: <b>RELEASE_20</b></li>