diff --git a/certora/run.js b/certora/run.js
index 331630500..a3564a10d 100755
--- a/certora/run.js
+++ b/certora/run.js
@@ -59,12 +59,17 @@ if (process.exitCode) {
 }
 
 for (const { spec, contract, files, options = [] } of specs) {
-  limit(runCertora, spec, contract, files, [...options, ...argv.options].flatMap(opt => opt.split(' ')));
+  limit(runCertora, spec, contract, files, [...options, ...argv.options]);
 }
 
 // Run certora, aggregate the output and print it at the end
 async function runCertora(spec, contract, files, options = []) {
-  const args = [...files, '--verify', `${contract}:certora/specs/${spec}.spec`, ...options];
+  const args = [
+    ...files,
+    '--verify',
+    `${contract}:certora/specs/${spec}.spec`,
+    ...options.flatMap(opt => opt.split(' ')),
+  ];
   const child = proc.spawn('certoraRun', args);
 
   const stream = new PassThrough();