diff --git a/INSTALL b/INSTALL
index 36fd8cb4cf..e5e7548433 100644
--- a/INSTALL
+++ b/INSTALL
@@ -110,7 +110,7 @@ flags:
              --disable-stdlib-debug --enable-concept-checks
              --enable-warnings --enable-debug
 
-    prerelease: --enable-optimization=-O --enable-assertions 
+    development: --enable-optimization=-O --enable-assertions
              --enable-stdlib-debug --enable-concept-checks
              --enable-warnings --enable-debug