fix python interpreter on Windows

[rust.git] / README.md

diff --git a/README.md b/README.md
index 1dd4a91e822fdf50d84a16463383cba9a98a6bc5..02fbd6cdfacfa4d5987fe10cad9ac7eaf6423f6c 100644 (file)
--- a/README.md
+++ b/README.md
@@ -155,8 +155,8 @@ Try deleting `~/.cache/miri`.
 
 This means the sysroot you are using was not compiled with Miri in mind.  This
 should never happen when you use `cargo miri` because that takes care of setting
-up the sysroot.  If you are using `miri` (the Miri driver) directly, see
-[below][testing-miri] for how to set up the sysroot.
+up the sysroot.  If you are using `miri` (the Miri driver) directly, see the
+[contributors' guide](CONTRIBUTING.md) for how to use `./miri` to best do that.
 
 
 ## Miri `-Z` flags and environment variables
@@ -223,7 +223,7 @@ Moreover, Miri recognizes some environment variables:
   passed to Miri.
 
 The following environment variables are internal, but used to communicate between
-different Miri binaries, and as such worht documenting:
+different Miri binaries, and as such worth documenting:
 
 * `MIRI_BE_RUSTC` when set to any value tells the Miri driver to actually not
   interpret the code but compile it like rustc would. This is useful to be sure