diff --git a/Jars/DieHard_tla.json b/Jars/DieHard_tla.json
index d4b001f2f6990c822b376ec1e968668c2a996055..76cd7c0cf2ff03ca58a7512e6bbd1b0ba3ed15a1 100644
--- a/Jars/DieHard_tla.json
+++ b/Jars/DieHard_tla.json
@@ -1,5 +1,6 @@
 {
   "svg":"Jars.svg",
+  "svg_box": {"height":200, "width":360},
   "comment": "VisB Visualization for Jars by Jonas Erdmann",
   "definitions":[
     {"name":"level",