diff --git a/docs/manual/running.html b/docs/manual/running.html
index 5b9bb9960..1ceff0eab 100644
--- a/docs/manual/running.html
+++ b/docs/manual/running.html
@@ -127,7 +127,7 @@ set):</p>
   to invoke a different JVM than <code>JAVA_HOME/bin/java(.exe)</code>.</li>
 
   <li><code>ANT_OPTS</code> - command-line arguments that should be
-  passed to the JVM. For example, you can define properties or set
+  passed to the JVM. For example, you can define system properties or set
   the maximum Java heap size here.</li>
 
   <li><code>ANT_ARGS</code> - Ant command-line arguments. For example,