diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index efa485c3fc..c88b032c2b 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -1464,7 +1464,7 @@
     <kvm>
       <hidden state='on'/>
     </kvm>
-    <pvspinlock/>
+    <pvspinlock state='on'/>
     <gic version='2'/>
 
   </features>