diff --git a/java2js_transpile_worker.js b/java2js_transpile_worker.js
index d9a7489..4ae1cd2 100644
--- a/java2js_transpile_worker.js
+++ b/java2js_transpile_worker.js
@@ -39,7 +39,7 @@
 				const java_to_javascript = require('java-to-javascript');
 				self.addEventListener('message', (e) => {
 					if (e.data == 'QuintOS') {
-						window.QuintOS = true;
+						QuintOS = true;
 						return;
 					}
 					self.postMessage(java_to_javascript(e.data));
diff --git a/package.json b/package.json
index d2c7c6a..fe5e0fc 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
 	"name": "java2js",
-	"version": "1.2.12",
+	"version": "1.2.13",
 	"description": "Converts Java to JavaScript and runs it with a JS JDK",
 	"main": "jdk.js",
 	"scripts": {