More grammerization

diff --git a/doc.html b/doc.html
index 94225ae3ca3a4de87f1f23da69e58c94ba6702d7..c65146bde8465d72c2449580980467a09053bd77 100644 (file)
--- a/doc.html
+++ b/doc.html
@@ -74,7 +74,7 @@
                     
                     <tr>
                         <td>-O&lt;level&gt;</td>
-                        <td>Specfies the optimization level: highest being 3, lowest being 0 (not optimization).</td>
+                        <td>Specfies the optimization level: highest being 3, lowest being 0 (no optimization).</td>
                     </tr>
                     
                     <tr>