diff --git a/src/main/resources/help/avatarsafetypragmas.html b/src/main/resources/help/avatarsafetypragmas.html
index d1a2d50ad64f23131d3b384e9634bb10afc579db..d768df8039ab5298886d4d3c056d072fa8f45023 100644
--- a/src/main/resources/help/avatarsafetypragmas.html
+++ b/src/main/resources/help/avatarsafetypragmas.html
@@ -41,7 +41,7 @@
 </center>
 <h2 id="e-properties-1">E&lt;&gt; properties</h2>
 <center>
-<img src="file:../help/ctleall_small.png" />
+<img src="file:../help/ctleone_small.png" />
 </center>
 <h2 id="leads-to-properties">“Leads to” properties</h2>
 <p>“p –&gt; q” means that whenever p is encoutred in a state s, all paths starting from state s must have a state in which q is satisfied.</p>
diff --git a/src/main/resources/help/avatarsafetypragmas.md b/src/main/resources/help/avatarsafetypragmas.md
index 92819d24398b70f0276b0c26613c7c1e109c36ea..eb29a0360520e1c3f63a89575192bd585933c5a1 100644
--- a/src/main/resources/help/avatarsafetypragmas.md
+++ b/src/main/resources/help/avatarsafetypragmas.md
@@ -43,7 +43,7 @@ means that the attribute "x" of block "Block1" is always strictly positive.
 ## E<> properties
 
 <center>
-![](file:../help/ctleall_small.png)
+![](file:../help/ctleone_small.png)
 </center>