diff --git a/trunk/source/WebBackend/settings_whitelist.json b/trunk/source/WebBackend/settings_whitelist.json
index 03c278c8699..08a86df52d5 100644
--- a/trunk/source/WebBackend/settings_whitelist.json
+++ b/trunk/source/WebBackend/settings_whitelist.json
@@ -10,7 +10,9 @@
 		"Automaton type used in concurrency analysis",
 		"Apply one-shot large block encoding in concurrent analysis",
 		"Partial Order Reduction in concurrent analysis",
-		"CEGAR restart behaviour"
+		"CEGAR restart behaviour",
+		"Partial Order Reduction in concurrent analysis",
+		"DFS Order used in POR"
 	],
 	"de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder": [
 		"SMT solver",
diff --git a/trunk/source/WebBackend/settings_whitelist.json.dist b/trunk/source/WebBackend/settings_whitelist.json.dist
index 03c278c8699..08a86df52d5 100644
--- a/trunk/source/WebBackend/settings_whitelist.json.dist
+++ b/trunk/source/WebBackend/settings_whitelist.json.dist
@@ -10,7 +10,9 @@
 		"Automaton type used in concurrency analysis",
 		"Apply one-shot large block encoding in concurrent analysis",
 		"Partial Order Reduction in concurrent analysis",
-		"CEGAR restart behaviour"
+		"CEGAR restart behaviour",
+		"Partial Order Reduction in concurrent analysis",
+		"DFS Order used in POR"
 	],
 	"de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder": [
 		"SMT solver",