diff --git a/src/main/scala/leon/purescala/ExprOps.scala b/src/main/scala/leon/purescala/ExprOps.scala
index 2382529d92a88e649d11b077c1c9f8bfff312cb0..f2ff6ea1b6b465c1f0a4c5edf9d19217e1e4ad46 100644
--- a/src/main/scala/leon/purescala/ExprOps.scala
+++ b/src/main/scala/leon/purescala/ExprOps.scala
@@ -171,7 +171,7 @@ object ExprOps {
     *   - If applyRec is false (default), will only substitute once on each level.
     *   e.g.
     *   {{{
-    *     Add(a, Minus(b, c)) with replacements: Minus(e,c) -> d, b -> e, d -> f
+    *     Add(a, Minus(b, c)) with replacements: Minus(b,c) -> z, Minus(e,c) -> d, b -> e
     *   }}}
     *   will yield:
     *   {{{