--- a/Model.st	Tue Sep 17 12:26:17 2019 +0200
+++ b/Model.st	Fri Sep 20 15:37:04 2019 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1992 by Claus Gittinger
 	      All Rights Reserved
@@ -147,9 +149,7 @@
             ]
         ]
     ] ensure:[
-        wasBlocked ifFalse:[
-            OperatingSystem unblockInterrupts
-        ]
+        wasBlocked ifFalse:[ OperatingSystem unblockInterrupts]
     ]
 
     "Modified: / 08-01-1997 / 23:40:30 / cg"
@@ -250,9 +250,7 @@
             ]
         ]
     ] ensure:[
-        wasBlocked ifFalse:[
-            OperatingSystem unblockInterrupts
-        ]
+        wasBlocked ifFalse:[ OperatingSystem unblockInterrupts]
     ]
 
     "Modified: 8.1.1997 / 23:41:39 / cg"