diff --git a/src/main/scala/leon/purescala/ExprOps.scala b/src/main/scala/leon/purescala/ExprOps.scala
index 89770d2cdb84dde2986d580eefef69d21ba106eb..2382529d92a88e649d11b077c1c9f8bfff312cb0 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(b,c) -> d, b -> e, d -> f
+    *     Add(a, Minus(b, c)) with replacements: Minus(e,c) -> d, b -> e, d -> f
     *   }}}
     *   will yield:
     *   {{{