diff --git a/src/storm-gspn-cli/storm-gspn.cpp b/src/storm-gspn-cli/storm-gspn.cpp
index 9d6924297..090d56400 100644
--- a/src/storm-gspn-cli/storm-gspn.cpp
+++ b/src/storm-gspn-cli/storm-gspn.cpp
@@ -64,7 +64,10 @@ int main(const int argc, const char **argv) {
         if (!optionsCorrect) {
             return -1;
         }
-        
+
+        // Start by setting some urgent options (log levels, resources, etc.)
+        storm::cli::setUrgentOptions();
+
         auto gspnSettings = storm::settings::getModule<storm::settings::modules::GSPNSettings>();
 
         // parse gspn from file
diff --git a/src/storm-pgcl-cli/storm-pgcl.cpp b/src/storm-pgcl-cli/storm-pgcl.cpp
index 73d88e581..45b81f2c8 100644
--- a/src/storm-pgcl-cli/storm-pgcl.cpp
+++ b/src/storm-pgcl-cli/storm-pgcl.cpp
@@ -69,6 +69,9 @@ int main(const int argc, const char** argv) {
         if (!optionsCorrect) {
             return -1;
         }
+
+        // Start by setting some urgent options (log levels, resources, etc.)
+        storm::cli::setUrgentOptions();
     
         auto pgcl = storm::settings::getModule<storm::settings::modules::PGCLSettings>();
         if (!pgcl.isPgclFileSet()) {