diff --git a/src/config/options.schema.json b/src/config/options.schema.json
index 74dfcd88cd..9c8d250d5d 100644
--- a/src/config/options.schema.json
+++ b/src/config/options.schema.json
@@ -163,7 +163,7 @@
       "title": "jobs",
       "description": "Maximum number of parallel jobs. If 0, then number of cores is used. Currently used for preprocessing and g2html.",
       "type": "integer",
-      "default": 1
+      "default": 0
     },
     "goblint-dir": {
       "title": "goblint-dir",