diff --git a/README.md b/README.md
index e80322c5870a1dc4504a34145f29dd3055ab77ae..14dda77e49ff5171b131dfdf158ad1d6abaeacb1 100644
--- a/README.md
+++ b/README.md
@@ -71,7 +71,7 @@ A docker daemon should be started/enabled.
 
 In the current folder:
 
-> docker run --rm --user $(id -u):$(id -g) -v ($PDW)/klee-examples:/mnt -w /mnt -it afoht/llvm-klee-4 /bin/bash
+> docker run --rm --user $(id -u):$(id -g) -v $PWD/target/x86_64-unknown-linux-gnu/release/examples:/mnt -w /mnt -it afoht/llvm-klee-4 /bin/bash
 
 This starts a shell in the docker `llvm-klee-4`, with a shared mount to the examples directory, where your `empty-xxxx.bc` is located.