diff --git a/README.md b/README.md
index 8118940d00153f9bf675b765b0ed0e47044b475f..badaa9cec16b4d66c14f936ad9fa373824321319 100644
--- a/README.md
+++ b/README.md
@@ -67,7 +67,7 @@ A docker daemon should be started/enabled.
 In the current folder:
 
 ```
-arm-none-eabi-gdb -x klee.py
+arm-none-eabi-gdb -x gdb.py
 ```
 
 The script will build for both KLEE and the MCU, run the KLEE tests and then proceed with testing the KLEE-generated values on the MCU.