diff --git a/INSTALL b/INSTALL
index 1ba2275..f6b0771 100644
--- a/INSTALL
+++ b/INSTALL
@@ -211,7 +211,10 @@ like to contribute an installation script, we would welcome it!)
    support other Linux distributions.
 
 
-Good luck!
+As always, please feel free to submit issues or pull requests for
+installation-related features.
+
+Good luck, and have fun!
 
 Mininet Developers