1 files changed, 1 insertions, 1 deletions

diff --git a/README.md b/README.md
index a5b7ef5..547ee61 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,7 @@ Isabelle/HoTT is compatible with Isabelle2020.
 To use, add the Isabelle/HoTT folder path to `.isabelle/Isabelle2020/ROOTS` (on Mac/Linux/cygwin installations):
 
 ```
-echo <path/to/Isabelle/HoTT> >> ~/.isabelle/Isabelle2020/ROOTS
+echo path/to/Isabelle/HoTT >> ~/.isabelle/Isabelle2020/ROOTS
 ```
 
 ### What (and why) is this?