diff --git a/src/cli/cli.cpp b/src/cli/cli.cpp
index 36b6df27e..54643d32a 100644
--- a/src/cli/cli.cpp
+++ b/src/cli/cli.cpp
@@ -231,7 +231,7 @@ namespace storm {
                     }
                     
                 }
-
+                
                 if (settings.isSymbolicSet()) {
 #ifdef STORM_HAVE_CARL
                     if (settings.isParametricSet()) {
diff --git a/src/solver/MathsatSmtSolver.cpp b/src/solver/MathsatSmtSolver.cpp
index 16610f4ad..94e41e796 100644
--- a/src/solver/MathsatSmtSolver.cpp
+++ b/src/solver/MathsatSmtSolver.cpp
@@ -408,7 +408,7 @@ namespace storm {
 
 		std::vector<storm::expressions::Expression> MathsatSmtSolver::getUnsatAssumptions() {
 #ifdef STORM_HAVE_MSAT
-            STORM_LOG_THROW(lastResult == SmtSolver::CheckResult::Unsat, storm::exceptions::InvalidStateException, "Unable to generate unsatisfiable core of assumptions, because the last check did not determine the formulas to be unsatisfiable.")
+            STORM_LOG_THROW(lastResult == SmtSolver::CheckResult::Unsat, storm::exceptions::InvalidStateException, "Unable to generate unsatisfiable core of assumptions, because the last check did not determine the formulas to be unsatisfiable.");
             STORM_LOG_THROW(lastCheckAssumptions, storm::exceptions::InvalidStateException, "Unable to generate unsatisfiable core of assumptions, because the last check did not involve assumptions.");
             
 			size_t numUnsatAssumpations;
diff --git a/src/utility/storm.cpp b/src/utility/storm.cpp
index c6f09b375..a690af6f8 100644
--- a/src/utility/storm.cpp
+++ b/src/utility/storm.cpp
@@ -11,7 +11,6 @@ namespace storm {
      storm::prism::Program parseProgram(std::string const& path) {
         storm::prism::Program program= storm::parser::PrismParser::parse(path).simplify().simplify();
         program.checkValidity();
-         std::cout << program << std::endl;
         return program;
     }