diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 84257c1bb4..4c60392a08 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -7077,10 +7077,14 @@ qemu-kvm -net nic,model=? /dev/null
           <code>vgamem</code> (<span class="since">since 1.2.11</span>) to set
           the size of VGA framebuffer for fallback mode of QXL device.
           Attribute <code>vram64</code> (<span class="since">since 1.3.3</span>)
-          extends secondary bar and makes it addressable as 64bit memory. For
-          resolution settings, there are <code>x</code> and <code>y</code>
-          (<span class="since">since 5.9.0</span>) optional attributes to set
-          minimum resolution for model.
+          extends secondary bar and makes it addressable as 64bit memory.
+        </p>
+        <p><span class="since">Since 5.9.0</span>, the <code>model</code>
+        element may also have an optional <code>resolution</code> sub-element.
+        The <code>resolution</code> element has attributes <code>x</code> and
+        <code>y</code> to set the minimum resolution for the video device. This
+        sub-element is valid for model types "vga", "qxl", "bochs", and
+        "virtio".
         </p>
       </dd>