diff --git a/README.md b/README.md
index 35d6fc894..8f08e7eba 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 # Z3
 
 Z3 is a theorem prover from Microsoft Research. 
-It is licensed under the [MIT license](LICENSE.txt).
+It is licensed under the [MIT license](LICENSE.txt). Windows binary distributions include [C++ runtime redistributables](https://visualstudio.microsoft.com/license-terms/vs2022-cruntime/)
 
 If you are not familiar with Z3, you can start [here](https://github.com/Z3Prover/z3/wiki#background).