diff --git a/Einstein/Houses.svg b/Einstein/Houses.svg
index da418fd265146794fb79d363525cecf00f0d03e3..4ac2d3aadde445d4e21ff980a5a660d9c92c21c6 100644
--- a/Einstein/Houses.svg
+++ b/Einstein/Houses.svg
@@ -1,7 +1,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
diff --git a/Einstein/Makefile b/Einstein/Makefile
index 32f38e3358e771dd774abb574834f78649770af6..5278b1492d30d154d6984315f14dde8b88245d42 100644
--- a/Einstein/Makefile
+++ b/Einstein/Makefile
@@ -6,7 +6,7 @@ SPEC=einsteins_puzzle.als
 VISBFILE2=Einstein_tla.json
 SPEC2=Einstein.tla
 
-all: html/$(SPEC).html html/$(SPEC2).html
+all: html/$(SPEC).html html/$(SPEC2).html Houses.svg
 	@echo "Generated VisB HTML files in html/"
 
 html/$(SPEC).html: $(SPEC) $(VISBFILE) Makefile
@@ -15,6 +15,6 @@ html/$(SPEC).html: $(SPEC) $(VISBFILE) Makefile
 
 
 
-html/$(SPEC2).html: $(SPEC2) $(VISBFILE2) Makefile
+html/$(SPEC2).html: $(SPEC2) $(VISBFILE2) Makefile Houses.svg
 	@echo "Performing symbolic invariant check on $(SPEC2), generating html/$(SPEC).html"
 	$(PROBCLI) $(SPEC2) -cbc all -visb_with_vars $(VISBFILE2) html/$(SPEC2).html -expecterr cbc
\ No newline at end of file
diff --git a/Einstein/html/Einstein.tla.html b/Einstein/html/Einstein.tla.html
index 8892e712091b6e374f1456eb5d3832194464cf25..3fa005b299dc4e55b53a6208861f7a72b043ced1 100644
--- a/Einstein/html/Einstein.tla.html
+++ b/Einstein/html/Einstein.tla.html
@@ -165,7 +165,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
@@ -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:19 using ProB version 1.11.0-nightly
+Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
 <br>Main specification file: Einstein.prob
  </table>
  </div>
diff --git a/Einstein/html/einsteins_puzzle.als.html b/Einstein/html/einsteins_puzzle.als.html
index 9107149041c87fe0cf3bfc58fa63a30cd659faa4..9b6484e58def9b0705ab72279c5cfb2cedf65f99 100644
--- a/Einstein/html/einsteins_puzzle.als.html
+++ b/Einstein/html/einsteins_puzzle.als.html
@@ -163,7 +163,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
@@ -296,7 +296,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:19 using ProB version 1.11.0-nightly
+Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
 <br>Main specification file: einsteins_puzzle.als
  </table>
  </div>