diff --git a/benchexec/tools/metaval++.py b/benchexec/tools/metaval++.py
index 36461ad54..a07d84052 100644
--- a/benchexec/tools/metaval++.py
+++ b/benchexec/tools/metaval++.py
@@ -52,7 +52,7 @@ def cmdline(self, executable, options, task, rlimits):
             task, options, "--witness", TaskFilesConsidered.SINGLE_INPUT_FILE
         )
 
-        return [executable] + options + witness_options + [input_file]
+        return [executable] + options + witness_options + input_file
 
     def determine_result(self, run):
         separator = ":"