diff --git a/clover/xdocs/changes.xml b/clover/xdocs/changes.xml
index f0680e3a..80272e9c 100644
--- a/clover/xdocs/changes.xml
+++ b/clover/xdocs/changes.xml
@@ -6,6 +6,12 @@
   </properties>
 
   <body>
+	<release version="1.3" date="in CVS">
+      <action dev="bwalding" type="update">
+		Upgrade to Clover 1.2
+      </action>
+    </release>
+
     <release version="1.2" date="in CVS">
       <action dev="vmassol" type="update">
         Make sure that test failures or errors do not stop the generation
diff --git a/clover/xdocs/properties.xml b/clover/xdocs/properties.xml
index 9e11e95c..e90ee4db 100644
--- a/clover/xdocs/properties.xml
+++ b/clover/xdocs/properties.xml
@@ -44,14 +44,7 @@
             Specifies the location of the Clover database. The default value is
             <code>${maven.build.dir}/clover/database</code>.
           </td>
-        </tr>
-		<tr>
-          <td><a name="maven.clover.report.format">maven.clover.report.format</a></td>
-          <td>No (default "html")</td>
-          <td>
-            Specifies the format of the Clover report output
-          </td>
-        </tr>
+        </tr>		
       </table>
     </section>
   </body>