diff --git a/docs/index.html b/docs/index.html
index 4533ea1d0..0f3f6ca90 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -2581,7 +2581,7 @@ want to use default exclusions or not. See the section on <a
 href="#directorybasedtasks">directory based tasks</a>, on how the
 inclusion/exclusion of files works, and how to write patterns.</p>
 <p>It is possible to use different compilers. This can be selected with the
-&quot;build.compiler&quot; property. There are three choices:</p>
+&quot;build.compiler&quot; property. There are four choices:</p>
 <ul>
   <li>classic (the standard compiler of JDK 1.1/1.2)</li>
   <li>modern (the new compiler of JDK 1.3)</li>