Index: /trunk/doc/manual/en_US/user_VBoxManage.xml
===================================================================
--- /trunk/doc/manual/en_US/user_VBoxManage.xml	(revision 35239)
+++ /trunk/doc/manual/en_US/user_VBoxManage.xml	(revision 35240)
@@ -201,15 +201,20 @@
 
         <listitem>
-          <para><computeroutput>hostusb</computeroutput> supplies information
-          about USB devices attached to the host, notably information useful
-          for constructing USB filters and whether they are currently in use
-          by the host.</para>
-        </listitem>
-
-        <listitem>
-          <para><computeroutput>usbfilters</computeroutput> lists all global
-          USB filters registered with VirtualBox -- that is, filters for
-          devices which are accessible to all virtual machines -- and displays
-          the filter parameters.</para>
+          <para><computeroutput>hostinfo</computeroutput> displays information
+          about the host system, such as CPUs, memory size and operating system
+          version.</para>
+        </listitem>
+
+        <listitem>
+          <para><computeroutput>hostcpuids</computeroutput> dumps the CPUID
+          parameters for the host CPUs. This can be used for a more fine
+          grained analyis of the host's virtualization capabilities.</para>
+        </listitem>
+
+        <listitem>
+          <para><computeroutput>hddbackends</computeroutput> lists all known
+          virtual disk back-ends of VirtualBox. For each such format (such as
+          VDI, VMDK or RAW), this lists the back-end's capabilities and
+          configuration.</para>
         </listitem>
 
@@ -226,8 +231,15 @@
 
         <listitem>
-          <para><computeroutput>hddbackends</computeroutput> lists all known
-          virtual disk back-ends of VirtualBox. For each such format (such as
-          VDI, VMDK or RAW), this lists the back-end's capabilities and
-          configuration.</para>
+          <para><computeroutput>usbhost</computeroutput> supplies information
+          about USB devices attached to the host, notably information useful
+          for constructing USB filters and whether they are currently in use
+          by the host.</para>
+        </listitem>
+
+        <listitem>
+          <para><computeroutput>usbfilters</computeroutput> lists all global
+          USB filters registered with VirtualBox -- that is, filters for
+          devices which are accessible to all virtual machines -- and displays
+          the filter parameters.</para>
         </listitem>
 
@@ -2398,5 +2410,5 @@
     VM name or a VM UUID, as with the other VBoxManage commands):<itemizedlist>
         <listitem>
-          <para><computeroutput>enumerate &lt;vm&gt; [-patterns
+          <para><computeroutput>enumerate &lt;vm&gt; [--patterns
           &lt;pattern&gt;]</computeroutput>: This lists all the guest
           properties that are available for the given VM, including the value.
@@ -2441,5 +2453,5 @@
         <listitem>
           <para><computeroutput>set &lt;vm&gt; &lt;property&gt; [&lt;value&gt;
-          [-flags &lt;flags&gt;]]</computeroutput>: This allows you to set a
+          [--flags &lt;flags&gt;]]</computeroutput>: This allows you to set a
           guest property by specifying the key and value. If
           <computeroutput>&lt;value&gt;</computeroutput> is omitted, the