diff --git a/fiat-html/main.js b/fiat-html/main.js
index b173b459c0..85bf95ce9b 100644
--- a/fiat-html/main.js
+++ b/fiat-html/main.js
@@ -304,6 +304,8 @@ document.addEventListener('DOMContentLoaded', function() {
             wasmCheckbox.checked = true;
         }
 
+        setupWorkers();
+
         if (argv) {
             if (nonFalseQueryParam(interactive)) {
                 inputArgs.value = decodeURIComponent(argv);
@@ -314,8 +316,6 @@ document.addEventListener('DOMContentLoaded', function() {
         } else {
             inputForm.classList.remove('hidden');
         }
-
-        setupWorkers();
     }
 
     parseQueryParams();