diff --git a/examples/ml/README b/examples/ml/README
index b7aa187fa..562e9fe46 100644
--- a/examples/ml/README
+++ b/examples/ml/README
@@ -1,5 +1,3 @@
-### This is work-in-progress.
-
 Small example using the Z3 ML bindings.
 To build the example execute
    make examples
diff --git a/src/api/ml/README b/src/api/ml/README
index f697e5ff4..ffdd3e709 100644
--- a/src/api/ml/README
+++ b/src/api/ml/README
@@ -1,6 +1,5 @@
-This directory is work in progress.
-
-We are currently working on a brand new ML API.
+This is the new ML API introduced with Z3 4.4. For the legacy bindings, please 
+refer to previous releases of Z3.
 
 On Windows, there are no less than four different ports of OCaml. The Z3 build 
 system assumes that either the win32 or the win64 port is installed. This means