Index: /trunk/doc/manual/en_US/user_Installation.xml
===================================================================
--- /trunk/doc/manual/en_US/user_Installation.xml	(revision 36004)
+++ /trunk/doc/manual/en_US/user_Installation.xml	(revision 36005)
@@ -368,6 +368,6 @@
 
           <listitem>
-            <para>If the kernel of your Linux host gets updated and DKMS is
-            not installed, the kernel module will need to be
+            <para>The kernel of your Linux host was updated and DKMS is not
+            installed. In that case, the kernel module will need to be
             reinstalled by executing (as root):</para>