diff --git a/src/main/java/de/tla2b/analysis/InstanceTransformation.java b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
index 93f685cf7b0e333a15582b1520ed5d83da19567a..e26cb2c0f0d6e4af9b627402e11b738fd9ca94a2 100644
--- a/src/main/java/de/tla2b/analysis/InstanceTransformation.java
+++ b/src/main/java/de/tla2b/analysis/InstanceTransformation.java
@@ -10,7 +10,7 @@ import java.util.Map;
 /**
  * This class handles substitutions during module instantiation, e.g.
  * <p>
- *      M1 == INSTANCE Counter WITH x <- c, start <- 0
+ *      M1 == INSTANCE Counter WITH x &lt;- c, start &lt;- 0
  * <p>
  * Example for usage in module:
  *      OpDef == /\ M1!Init