1 files changed, 2 insertions, 2 deletions

diff --git a/README.md b/README.md
index 879b5d3..3691ed0 100644
--- a/README.md
+++ b/README.md
@@ -5,10 +5,10 @@ An experimental implementation of [homotopy type theory](https://en.wikipedia.or
 ### Usage
 
 Isabelle/HoTT is compatible with Isabelle2019.
-To use, add the Isabelle/HoTT folder path to `.isabelle/Isabelle2019/ROOTS` (on Mac/Linux/cygwin installations):
+To use, add the Isabelle/HoTT folder path to `.isabelle/Isabelle2019/ROOTS` (on cygwin/Mac/Linux installations):
 
 ```
-echo <path/to/Isabelle/HoTT> >> ~/.isabelle/Isabelle2019/ROOTS
+echo path/to/Isabelle/HoTT >> ~/.isabelle/Isabelle2019/ROOTS
 ```
 
 ### What (and why) is this?