diff --git a/README.md b/README.md
index 1f0576a3..25c8bc59 100644
--- a/README.md
+++ b/README.md
@@ -25,7 +25,7 @@ map a b Nil              f = Nil
 map a b (Cons head tail) f = Cons (f head) (map tail f)
 ```
 
-Side-effective programs are written via monadic monads, resembling [Rust](https://www.rust-lang.org/) and [TypeScript](https://www.typescriptlang.org/):
+Side-effective programs are written via monads, resembling [Rust](https://www.rust-lang.org/) and [TypeScript](https://www.typescriptlang.org/):
 
 ```javascript
 // Prints the double of every number up to a limit
@@ -58,6 +58,13 @@ First, install [Rust](https://www.rust-lang.org/tools/install) first, then enter
 cargo install kind2
 ```
 
+### Warning:
+New versions probably are not in `cargo`, so you can install the current version of kind2 by following these instructions:
+
+1. Install Rust Nightly Toolchain
+2. Clone the repository
+3. `cargo install --path crates/kind-cli --force`
+
 Then, use any of the commands below:
 
 Command    | Usage                     | Note
diff --git a/crates/kind-cli/Cargo.toml b/crates/kind-cli/Cargo.toml
index 02d8a582..14acf092 100644
--- a/crates/kind-cli/Cargo.toml
+++ b/crates/kind-cli/Cargo.toml
@@ -8,7 +8,7 @@ license = "MIT"
 keywords = ["functional", "language", "type-theory", "proof-assistant"]
 
 [[bin]]
-name = "kind"
+name = "kind2"
 path = "src/main.rs"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/rust-toolchain b/rust-toolchain
new file mode 100644
index 00000000..07ade694
--- /dev/null
+++ b/rust-toolchain
@@ -0,0 +1 @@
+nightly
\ No newline at end of file