--- a/rdf-mt/index.html	Mon Apr 01 16:53:42 2013 +0200
+++ b/rdf-mt/index.html	Mon Apr 01 16:57:39 2013 +0200
@@ -639,14 +639,12 @@
         &lt; x,y &gt; is in IEXT(I(<code>rdfs:subClassOf</code>)) then x and y are 
         in IC and ICEXT(x) is a subset of ICEXT(y)</p></td>
     </tr>
-    <tr> 
-      
-   
+    
     <tr> 
       <td class="semantictable"><p><a id="rdfssemcond9"></a>If 
         x is in ICEXT(I(<code>rdfs:ContainerMembershipProperty</code>)) then:<br/>
         &lt; x, I(<code>rdfs:member</code>) &gt; is in IEXT(I(<code>rdfs:subPropertyOf</code>))<br/>
-      </p></td>
+      </td>
     </tr>
     <tr>