diff --git a/Button/button2.json b/Button/button2.json
index 515f61f9d7f034ed7e128ea1870c7f836f20ecac..2343be7adad2bb55959ebd1072bbbda1e7da4d75 100644
--- a/Button/button2.json
+++ b/Button/button2.json
@@ -1,6 +1,8 @@
 {
   "svg": "button.svg",
-  
+  "model": "button2.mch",
+  "model-name": "button2",
+
   "items": [
     {
       "id": "button_%0",
diff --git a/Button/button2.mch b/Button/button2.mch
index 19ba020993dd70c00da824d01bd50be4ad078cf8..da3522cab65954e501916119399ba3e148dc46ab 100644
--- a/Button/button2.mch
+++ b/Button/button2.mch
@@ -1,6 +1,6 @@
 MACHINE button2
 // a version of button with just two events
-DEFINITIONS 
+DEFINITIONS
      "LibraryMeta.def";
       VISB_JSON_FILE == "button2.json"
 VARIABLES
@@ -16,4 +16,4 @@ OPERATIONS
   release_button = PRE button=TRUE THEN
     button:=FALSE
   END
-END
\ No newline at end of file
+END
diff --git a/TrafficLight/traffic_light.json b/TrafficLight/traffic_light.json
index fdf8e3c1d1ff17c4b1f549e193d875596a1904e7..39d872dd350d7d6cda848be6d5d195ceaa47e114 100644
--- a/TrafficLight/traffic_light.json
+++ b/TrafficLight/traffic_light.json
@@ -1,5 +1,6 @@
 {
   "svg":"traffic_light.svg",
+  "model-name":"TrafficLight",
   "items":[
     {
       "id":"cars_red",
diff --git a/Train_B_Book/train4.json b/Train_B_Book/train4.json
index c00746a09a63b888391138d70c8218b0c72c00fe..01b0fb08c05d3faaaf13efaec0989fdbd87c5bb9 100644
--- a/Train_B_Book/train4.json
+++ b/Train_B_Book/train4.json
@@ -1,6 +1,7 @@
 {
     "svg": "train.svg",
     "include": "train1.json",
+    "model-name": "train_4_POR",
     "items": [
     {
 	    "for": {"from":1, "to":5},