diff --git a/docs/formatdomain.html b/docs/formatdomain.html
index 65a3566d283836751a6edfe963a4a155e5af325b..46f16b643f716fb228ece49a39a7d392b3430e63 100644
--- a/docs/formatdomain.html
+++ b/docs/formatdomain.html
@@ -477,7 +477,7 @@
 	      <vendor id='0x1234'/>
 	      <product id='0xbeef'/>
 	    </source>
-	  </disk>
+	  </hostdev>
 	  ...</pre>
         <dl><dt><code>hostdev</code></dt><dd>The <code>hostdev</code> element is the main container for describing
       host devices. For usb device passthrough <code>mode</code> is always