Index: /trunk/doc/manual/en_US/user_VBoxManage.xml
===================================================================
--- /trunk/doc/manual/en_US/user_VBoxManage.xml	(revision 71131)
+++ /trunk/doc/manual/en_US/user_VBoxManage.xml	(revision 71132)
@@ -2011,5 +2011,7 @@
     OVF standard 1.0 you can enable a OVF 0.9 legacy mode with the
     <computeroutput>--legacy09</computeroutput> option. Other options are
-    --ovf09, --ovf10, --ovf20.</para>
+    <computeroutput>--ovf09</computeroutput>,
+    <computeroutput>--ovf10</computeroutput>,
+    <computeroutput>--ovf20</computeroutput>.</para>
 
     <para>To specify options controlling the exact content of the appliance