diff --git a/README.md b/README.md
index 72511a0..3dd3ff2 100644
--- a/README.md
+++ b/README.md
@@ -7,9 +7,9 @@ A linter for Isabelle. Developed for my bachelor's thesis at the Chair for Logic
 1. Checkout Isabelle submodule: `git submodule init && git submodule update`
 2. Build Isabelle
 ```
-./isabelle/bin/isabelle components -a
-./isabelle/bin/isabelle components -I
-./isabelle/bin/isabelle build
+isabelle/bin/isabelle components -a
+isabelle/bin/isabelle components -I
+isabelle/bin/isabelle build
 ```
 3. Compile the linter: `./sbt "project linter" assembly`
 4. For jEdit support: Patch jEdit jars: `./patch_jedit`