Index: openacs-4/packages/acs-core-docs/www/aolserver4.html
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/acs-core-docs/www/aolserver4.html,v
diff -u -r1.26.2.1 -r1.26.2.2
--- openacs-4/packages/acs-core-docs/www/aolserver4.html	21 Aug 2013 10:19:19 -0000	1.26.2.1
+++ openacs-4/packages/acs-core-docs/www/aolserver4.html	9 Sep 2014 08:31:54 -0000	1.26.2.2
@@ -14,12 +14,12 @@
 </span></span></pre><p>If the first command returns anything other than <code class="computeroutput">1</code>, 
         then tcl is not threaded. If tcl is threaded and the version is 8.4 or higher, then installing
         tcl from source is optional.
-      </p><p><a name="tcl-download"></a><b>Retrieve TCL 8.4 (or higher). </b>Download and install TCL 8.4 from source</p><p>Note for Debian users: you can apt-get install
+      </p><p><a name="tcl-download"></a><b>Retrieve Tcl 8.4 (or higher). </b>Download and install Tcl 8.4 from source</p><p>Note for Debian users: you can apt-get install
       tcl8.4-dev if you have the right version (stable users will need
       to add tcl8.4 to their sources.list file as described on the
       <a class="link" href="postgres.html" title="Install PostgreSQL">Install Postgres</a> page). You'll
       have to use /usr/lib/tcl8.4/ instead of /usr/local/lib when you
-      try to find the tcl libraries, however.</p><p>If you have not installed TCL already, download the latest TCL version from Sourceforge</p><p><span class="bold"><strong>Debian:</strong></span>
+      try to find the tcl libraries, however.</p><p>If you have not installed Tcl already, download the latest Tcl version from Sourceforge</p><p><span class="bold"><strong>Debian:</strong></span>
         <code class="computeroutput"><span class="action"><span class="action">apt-get install
             tcl8.4 tcl8.4-dev</span></span></code> and proceed to
         the next step.  In that step, replace