diff --git a/src/plugins/value/api/general_requests.ml b/src/plugins/value/api/general_requests.ml
index 95359daf0e60aa90d3522f768a75d816c8adcc33..075e7e7f88a2c69843272f1fcf5fa5255b20e4e3 100644
--- a/src/plugins/value/api/general_requests.ml
+++ b/src/plugins/value/api/general_requests.ml
@@ -149,12 +149,12 @@ module Taint = struct
   let tag_tainted =
     tag (Ok true) "tainted" "yes"
       "Tainted property: this property is related to a memory zone that \
-       can be affected by an attacker, according to the Eva taint domain."
+       can be affected by an attacker, according to the Eva taint domain"
 
   let tag_not_tainted =
     tag (Ok false) "not_tainted" "no"
       "Untainted property: this property is safe, \
-       according to the Eva taint domain."
+       according to the Eva taint domain"
 
   let () = Enum.set_lookup dictionary
       begin function
@@ -166,7 +166,7 @@ module Taint = struct
       end
 
   let data = Request.dictionary ~package ~name:"taintStatus"
-      ~descr:(Markdown.plain "TODO") dictionary
+      ~descr:(Markdown.plain "Taint status of logical properties") dictionary
 
   include (val data : S with type t = (bool, taint_error) result)
 end
diff --git a/src/plugins/value/domains/taint_domain.mli b/src/plugins/value/domains/taint_domain.mli
index b6eb67093d968a7e9203c20dfeac49b521c9dc1b..c77b897f5261739218eac5da790f18e06fd8ce32 100644
--- a/src/plugins/value/domains/taint_domain.mli
+++ b/src/plugins/value/domains/taint_domain.mli
@@ -30,7 +30,7 @@ val flag: Abstractions.flag
 
 type taint_error =
   | NotComputed (** The Eva analysis has not been run, or the taint domain
-                    were not enabled. *)
+                    was not enabled. *)
   | Irrelevant  (** Properties other than assertions, invariants and
                     preconditions are irrelevant here. *)
   | LogicError  (** The memory zone on which the property depends could not