diff --git a/docs/problems.html b/docs/problems.html
index 2c182ca85..89f11807e 100644
--- a/docs/problems.html
+++ b/docs/problems.html
@@ -344,7 +344,7 @@ D:\src\java\Unset.java<br />
       <a name="bugs"></a>
       bugs
     </h3>
-                        <p>If you ar convinced that you have identified an unfixed bug, please turn to
+                        <p>If you are convinced that you have identified an unfixed bug, please turn to
       our document concerning the <a href="bugs.html">bug database</a>.</p>
                 
     </div>
diff --git a/xdocs/problems.xml b/xdocs/problems.xml
index 7f4eb73c6..b90d2b550 100644
--- a/xdocs/problems.xml
+++ b/xdocs/problems.xml
@@ -187,7 +187,7 @@ D:\src\java\Unset.java<br></br>
          
     </section>
     <section name="bugs">
-      <p>If you ar convinced that you have identified an unfixed bug, please turn to
+      <p>If you are convinced that you have identified an unfixed bug, please turn to
       our document concerning the <a href="bugs.html">bug database</a>.</p>
     </section>