diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng
index 6e73e7c134..4e4fe9fc8e 100644
--- a/docs/schemas/domaincommon.rng
+++ b/docs/schemas/domaincommon.rng
@@ -238,8 +238,8 @@
       <ref name="bootloader"/>
     </optional>
     <element name="os">
-      <ref name="ostypehvm"/>
       <interleave>
+        <ref name="ostypehvm"/>
         <optional>
           <element name="loader">
             <optional>