--- a/runtime/Worker.py	Tue Aug 16 19:52:49 2022 +0200
+++ b/runtime/Worker.py	Tue Aug 16 23:42:42 2022 +0200
@@ -123,9 +123,10 @@
                 self.feed.wait()
 
             self.mutex.release()
-        self.own_thread = Thread(target = wakerfeedingloop).start()
+        self.own_thread = Thread(target = wakerfeedingloop)
+        self.own_thread.start()
 
-    def stop():
+    def stop(self):
         """
         !interleave
         """