diff --git a/INSTALL b/INSTALL
index 01e198dc66c342cc8a33051ca0c435274ef631a2..97514e50fc10397e8c50c5fb16cca709dee90a26 100644
--- a/INSTALL
+++ b/INSTALL
@@ -114,7 +114,7 @@ To upgrade to PostgreSQL v6.1 do the following:
 
   5) Some platforms use flex.  If your system uses flex then make sure
      you have a good version.  Type
-        flex -- version
+        flex --version
 
      If the flex command is not found then you probably do not need it.
      If the version is 2.5.2 or 2.5.4 or greater then you are okay.  If it