diff --git a/src/plugins/value/eval.ml b/src/plugins/value/eval.ml
index 90deaf2c91746955b9fa3e61f2f3990e4e122b4b..aa8b1acdd17e86cc49a6c0b99653ae250fd3606a 100644
--- a/src/plugins/value/eval.ml
+++ b/src/plugins/value/eval.ml
@@ -142,8 +142,8 @@ end
 let compute_englobing_subexpr ~subexpr ~expr =
   let merge = Extlib.merge_opt (fun _ -> (@)) () in
   (* Returns [Some] of the list of subexpressions of [expr] that contain
-     [subexpr], apart from [expr] and [subexpr] themselves, or [None] if [subexpr]
-     does not appear in [expr]. *)
+     [subexpr], apart [subexpr] itself, or [None] if [subexpr] does not appear
+     in [expr]. *)
   let rec compute expr =
     if Cil_datatype.ExpStructEq.equal expr subexpr
     then Some []