diff --git a/README.md b/README.md
index d97915f3..7879a60d 100755
--- a/README.md
+++ b/README.md
@@ -126,7 +126,7 @@ Usage
 -------------
 
 ```
-cd tf-verify
+cd tf_verify
 
 python3 . --netname <path to the network file> --epsilon <float between 0 and 1> --domain <deepzono/deeppoly/refinezono> --dataset <mnist/cifar10/acasxu> [optional] --complete <True/False> --timeout_lp <float> --timeout_milp <float> --use_area_heuristic <True/False>
 ```
diff --git a/tf_verify/gurobi_setup_path.sh b/gurobi_setup_path.sh
similarity index 100%
rename from tf_verify/gurobi_setup_path.sh
rename to gurobi_setup_path.sh