diff --git a/Einstein/Einstein_tla.json b/Einstein/Einstein_tla.json
index 91fb2081c449915a7ee43607923967cabae29678..23c325efda050a0915de018d396dbbaddcc7817c 100644
--- a/Einstein/Einstein_tla.json
+++ b/Einstein/Einstein_tla.json
@@ -15,7 +15,7 @@
     },
 	{
 	  "for": {"from":1, "to":5},
-      "id": "cigar%0",
+      "id": "cigarette%0",
       "attr": "text",
       "value" :"cigars(%0)"
     },
diff --git a/Einstein/html/Einstein.tla.html b/Einstein/html/Einstein.tla.html
index 3fa005b299dc4e55b53a6208861f7a72b043ced1..be0f1464e3d1ac2978fe0be6ed334d31bf3f585a 100644
--- a/Einstein/html/Einstein.tla.html
+++ b/Einstein/html/Einstein.tla.html
@@ -123,11 +123,11 @@
        setAttr("pet3","text","bird");
        setAttr("pet4","text","fish");
        setAttr("pet5","text","dog");
-       setAttr("cigar1","text","dh");
-       setAttr("cigar2","text","blend");
-       setAttr("cigar3","text","pm");
-       setAttr("cigar4","text","prince");
-       setAttr("cigar5","text","bm");
+       setAttr("cigarette1","text","dh");
+       setAttr("cigarette2","text","blend");
+       setAttr("cigarette3","text","pm");
+       setAttr("cigarette4","text","prince");
+       setAttr("cigarette5","text","bm");
        setAttr("drink1","text","water");
        setAttr("drink2","text","tea");
        setAttr("drink3","text","mylk");
@@ -279,7 +279,7 @@ version="1.1"   id="svg2">
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis">
-Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
+Generated on 23/3/2021 at 9:32 using ProB version 1.11.0-nightly
 <br>Main specification file: Einstein.prob
  </table>
  </div>
diff --git a/Einstein/screenshots/ProB2UI-TLA-Einstein.png b/Einstein/screenshots/ProB2UI-TLA-Einstein.png
index d080c772540ca9875a9b701b3ff30b0e7c7b4aaf..9795f5c3bc1f180c0f489160b4c65c48457a5e13 100644
Binary files a/Einstein/screenshots/ProB2UI-TLA-Einstein.png and b/Einstein/screenshots/ProB2UI-TLA-Einstein.png differ