Index: /trunk/doc/manual/en_US/user_Installation.xml
===================================================================
--- /trunk/doc/manual/en_US/user_Installation.xml	(revision 58565)
+++ /trunk/doc/manual/en_US/user_Installation.xml	(revision 58566)
@@ -234,5 +234,5 @@
               .vbox-extpack, .ovf, .ova, .vdi, .vmdk, .vhd and .vdd should be
               associated with VirtualBox. Files of these types then will be opened
-              with VirtualBox.
+              with VirtualBox.</para>
 
               <para>Set to <computeroutput>1</computeroutput> to enable,