Index: /trunk/doc/manual/en_US/user_Installation.xml
===================================================================
--- /trunk/doc/manual/en_US/user_Installation.xml	(revision 35085)
+++ /trunk/doc/manual/en_US/user_Installation.xml	(revision 35086)
@@ -571,6 +571,6 @@
         <para>Note that the <computeroutput>/dev/vboxdrv</computeroutput>
         kernel module device node must be owned by root:root and must be
-        read/writable only for the user.
-        
+        read/writable only for the user.</para>
+
         <para>Next, you will have to install the system initialization script
         for the kernel module:<screen>cp /opt/VirtualBox/vboxdrv.sh /etc/init.d/vboxdrv</screen>(assuming