diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 995896e9d9..6a3b976f6b 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -2260,8 +2260,8 @@
         tunnel; <code>type='tcp'</code>
         or <code>type='spicevmc'</code> (which uses the usbredir
         channel of a <a href="#elementsGraphics">SPICE graphics
-        device</a>) are typical.The redirdev element has an optional
-        sub-element<code>&lt;address&gt;</code> which can tie the
+        device</a>) are typical. The redirdev element has an optional
+        sub-element <code>&lt;address&gt;</code> which can tie the
         device to a particular controller. Further sub-elements,
         such as <code>&lt;source&gt;</code>, may be required according
         to the given type, although a <code>&lt;target&gt;</code> sub-element
@@ -2280,13 +2280,13 @@
       <dt><code>redirfilter</code></dt>
       <dd>The<code> redirfilter </code>element is used for creating the
         filter rule to filter out certain devices from redirection.
-        It uses sub-element <code>&lt;usbdev&gt;</code>to define each filter rule.
-        <code>class</code>attribute is the USB Class code, for example,
+        It uses sub-element <code>&lt;usbdev&gt;</code> to define each filter rule.
+        <code>class</code> attribute is the USB Class code, for example,
         0x08 represents mass storage devices. The USB device can be addressed by
-        vendor / product id using the<code>vendor</code> and <code>product</code> attributes.
+        vendor / product id using the <code>vendor</code> and <code>product</code> attributes.
         <code>version</code> is the bcdDevice value of USB device, such as 1.00, 1.10 and 2.00.
         These four attributes are optional and <code>-1</code> can be used to allow
-        any value for them. <code>allow</code>attribute is mandatory,
+        any value for them. <code>allow</code> attribute is mandatory,
         'yes' means allow, 'no' for deny.
       </dd>
     </dl>