diff --git a/manual/properties.html b/manual/properties.html
index cfb59ea8b..96646e1c9 100644
--- a/manual/properties.html
+++ b/manual/properties.html
@@ -87,8 +87,8 @@ ant.java.version    the JVM version Ant detected; currently it can hold
                     the values "1.9", "1.8",
                     "1.7", "1.6", "1.5",
                     "1.4", "1.3" and
-                    "1.2".  ant.core.lib the absolute path
-                    of the <code>ant.jar</code> file.
+                    &quot;1.2&quot;.
+ant.core.lib        the absolute path of the <code>ant.jar</code> file.
 </pre>
 
   <p>There is also another property, but this is set by the launcher