Change 'set your crate to'  to 'make Cargo'
@@ -9,7 +9,7 @@ The initial focus will be on taint analysis.
You'll need to install MIRAI as described [here](https://github.com/facebookexperimental/MIRAI/blob/master/documentation/InstallationGuide.md).
To run mirai, use cargo with `RUSTC_WRAPPER` set to `mirai`.
-Use `rustup override` to set your crate to use the same version of Rust as MIRAI as
+Use `rustup override` to make Cargo use the same version of Rust as MIRAI as
described in the [Installation Guide](https://github.com/facebookexperimental/MIRAI/blob/master/documentation/InstallationGuide.md).
The easiest way to get started is to first build your project in the normal way. When there are no compile errors,
