diff --git a/README.md b/README.md
index 3902e6f1b..d5a343bb8 100644
--- a/README.md
+++ b/README.md
@@ -5,8 +5,7 @@ under the [MIT license](LICENSE.txt).
 
 If you are not familiar with Z3, you can start [here](https://github.com/Z3Prover/z3/wiki#background).
 
-Pre-built binaries for releases are available from [here](https://github.com/Z3Prover/z3/releases), 
-and nightly builds from [here](https://github.com/Z3Prover/bin/tree/master/nightly).
+Pre-built binaries for stable and nightly releases are available from [here](https://github.com/Z3Prover/z3/releases).
 
 Z3 can be built using [Visual Studio][1], a [Makefile][2] or using [CMake][3]. It provides
 [bindings for several programming languages][4]. 
@@ -194,4 +193,4 @@ See [``examples/python``](examples/python) for examples.
 
 ### ``Web Assembly``
 
-[WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Clément Pit-Claudel.
+[WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Clément Pit-Claudel.