add link within document

diff --git a/README.md b/README.md
index f232cf25f9fe289a53a7d7dac0a352d44cdd91f3..c300c72628ddc29349313a60b744d5d2f704dd1e 100644 (file)
--- a/README.md
+++ b/README.md
@@ -138,8 +138,8 @@ rustup override set custom
 export MIRI_SYSROOT=$(rustc --print sysroot)
 ```
 
-With this, you should now have a working development setup!  See "Testing Miri"
-above for how to proceed.
+With this, you should now have a working development setup!  See
+["Testing Miri"](#testing-miri) above for how to proceed.
 
 Moreover, you can now run Miri with a trace of all execution steps:
 ```sh