diff --git a/indra/develop.py b/indra/develop.py
index 7e1d3f1ba..d44db29c7 100755
--- a/indra/develop.py
+++ b/indra/develop.py
@@ -775,9 +775,8 @@ Options:
   -p | --project=NAME   set the root project name. (Doesn't effect makefiles)
                         
 Commands:
-  build      configure and build default target
-  clean      delete all build directories, does not affect sources
-  configure  configure project by running cmake (default command if none given)
+  build           configure and build default target
+  clean           delete all build directories, does not affect sources
   configure       configure project by running cmake (default if none given)
   printbuilddirs  print the build directory that will be used