diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 1841b2bfe4..801e1eccab 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -2324,7 +2324,6 @@
 <pre>
   ...
   &lt;devices&gt;
-    &lt;interface type='direct'/&gt;
     ...
     &lt;interface type='direct'&gt;
       &lt;source dev='eth0' mode='vepa'/&gt;
@@ -2373,7 +2372,6 @@
 <pre>
   ...
   &lt;devices&gt;
-    &lt;interface type='direct'/&gt;
     ...
     &lt;interface type='direct'&gt;
       &lt;source dev='eth0.2' mode='vepa'/&gt;
@@ -2401,7 +2399,6 @@
   <pre>
   ...
   &lt;devices&gt;
-    &lt;interface type='direct'/&gt;
     ...
     &lt;interface type='direct'&gt;
       &lt;source dev='eth0' mode='private'/&gt;
@@ -2422,7 +2419,7 @@
       passthrough, after first optionally setting the device's MAC
       address to the configured value, and associating the device with
       an 802.1Qgh capable switch using an optionally specified
-      %lt;virtualport%gt; element (see the examples of virtualport
+      &lt;virtualport&gt; element (see the examples of virtualport
       given above for type='direct' network devices). Note that - due
       to limitations in standard single-port PCI ethernet card driver
       design - only SR-IOV (Single Root I/O Virtualization) virtual