diff --git a/src/plugins/value/utils/results.mli b/src/plugins/value/utils/results.mli
index de423c3260fa3a6da2d8bcf3c7c9cb8fdb911092..e6c0678569aa2f5e7077e6780f285ac667560a5f 100644
--- a/src/plugins/value/utils/results.mli
+++ b/src/plugins/value/utils/results.mli
@@ -22,11 +22,9 @@
 
 [@@@ api_start]
 
-(** Eva's result API is a work-in-progress interface to allow accessing the
-    analysis results once its completed. It is experimental and is very likely
-    to change in the future. It aims at replacing [Db.Value] but does not
-    completely covers all its usages yet. As for now, this interface has some
-    advantages over Db's :
+(** Eva's result API is a new interface to access the results of an analysis,
+    once it is completed. It may slightly change in the future. It aims at
+    replacing most uses of [Db.Value], and has some advantages over Db's :
 
     - evaluations uses every available domains and not only Cvalue;
     - the caller may distinguish failure cases when a request is unsucessful;