diff --git a/INSTALL b/INSTALL
index 562c2cd..34b9e10 100644
--- a/INSTALL
+++ b/INSTALL
@@ -51,12 +51,15 @@ a) On Debian 5, first install a Mininet-compatible kernel:
 b) Install OpenFlow 1.0 and associated useful software
     $ mininet/util/install.sh -f
 
-c) Install Open vSwitch
-    $ mininet/util/install.sh -f
+c) Install Open vSwitch and its kernel module
+    $ mininet/util/install.sh -vm
 
 d) If you wish to install the version of NOX we use in the tutorial:
     $ mininet/util/install.sh -x
 
+e) Install mininet and its dependencies:
+    $ mininet/util/install.sh -n
+
 Good luck! Some additional installation notes are provided below, for
 the brave and/or Linux-savvy, or those who are trying to understand what
 is installed and why.