diff --git a/doc/html/index.html b/doc/html/index.html
index 99e3746..3bade66 100644
--- a/doc/html/index.html
+++ b/doc/html/index.html
@@ -399,7 +399,8 @@ box.  Have two floppy disks ready.
 7.  Download 
 <a href="http://prdownloads.sourceforge.net/gbootroot/root_fs_debian_x11-2.bz2">
 root_fs_debian_x11-2.bz2</a>.&nbsp;&nbsp;Then follow the instructions in the 
-first three steps.&nbsp;&nbsp;This root filesystem was created with 
+first three steps, but don't add devfs=nomount.&nbsp;&nbsp;This root 
+filesystem was created with 
 the make_debian-X11 script from make-debian-x11.&nbsp;&nbsp;This can be 
 downloaded from 
 <a href="http://sourceforge.net/project/showfiles.php?group_id=9513&release_id=56297">