diff --git a/docs/drvvmware.html.in b/docs/drvvmware.html.in
index 273e0a008449878ba74d25a4f8fdcbdb89c3e64c..0ef6044d670f5be4e3b8f0861577d83be7b3e2d4 100644
--- a/docs/drvvmware.html.in
+++ b/docs/drvvmware.html.in
@@ -1,6 +1,6 @@
 <html>
     <body>
-        <h1>VMware Workstation/Player hypervisors driver</h1>
+        <h1>VMware Workstation / Player hypervisors driver</h1>
         <p>
         The libvirt VMware Workstation driver should be able to manage any Workstation and
         Player version supported by the VMware VIX API. See the compatibility list
@@ -15,10 +15,12 @@
     <p>
     The libvirt VMware driver provides per-user drivers (the "session" instance).
     Two uris are available:
+    </p>
     <ul>
       <li>"vmwareplayer" for VMware Player</li>
       <li>"vmwarews" for VMware Workstation</li>
     </ul>
+    <p>
     Some example connection URIs for the driver are:
     </p>
 
diff --git a/docs/sitemap.html.in b/docs/sitemap.html.in
index 63e420fc9278b43c27f92163b089cd5ccc9033bc..490450e0e4bdfa1cca47a96d077a0921856d68fe 100644
--- a/docs/sitemap.html.in
+++ b/docs/sitemap.html.in
@@ -192,6 +192,10 @@
                 <a href="drvesx.html">VMware ESX</a>
                 <span>Driver for VMware ESX</span>
               </li>
+              <li>
+                <a href="drvvmware.html">VMware Workstation / Player</a>
+                <span>Driver for VMware Workstation / Player</span>
+              </li>
             </ul>
           </li>
           <li>
