diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index efa485c..c88b032 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>