diff --git a/src/storm-cli-utilities/cli.cpp b/src/storm-cli-utilities/cli.cpp
index 3ff4d4593..dfc3065b8 100644
--- a/src/storm-cli-utilities/cli.cpp
+++ b/src/storm-cli-utilities/cli.cpp
@@ -10,6 +10,7 @@
 #include "storm/utility/Stopwatch.h"
 
 #include <type_traits>
+#include <ctime>
 
 #include "storm-cli-utilities/model-handling.h"
 
@@ -76,6 +77,8 @@ namespace storm {
             std::string command = commandStream.str();
             
             if (!command.empty()) {
+                std::time_t result = std::time(nullptr);
+                STORM_PRINT("Date: " << std::ctime(&result));
                 STORM_PRINT("Command line arguments: " << commandStream.str() << std::endl);
                 STORM_PRINT("Current working directory: " << storm::utility::cli::getCurrentWorkingDirectory() << std::endl << std::endl);
             }
diff --git a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
index f5061580a..d756c194b 100644
--- a/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/IterativeMinMaxLinearEquationSolver.cpp
@@ -213,7 +213,9 @@ namespace storm {
                 } else {
                     // Update the scheduler and the solver.
                     submatrix = this->A->selectRowsFromRowGroups(scheduler, true);
-                    submatrix.convertToEquationSystem();
+                    if (convertToEquationSystem) {
+                        submatrix.convertToEquationSystem();
+                    }
                     storm::utility::vector::selectVectorValues<ValueType>(subB, scheduler, this->A->getRowGroupIndices(), b);
                     solver->setMatrix(std::move(submatrix));
                 }