diff --git a/src/storm/generator/CompressedState.h b/src/storm/generator/CompressedState.h
index 4ad89b604..1a785dbaa 100644
--- a/src/storm/generator/CompressedState.h
+++ b/src/storm/generator/CompressedState.h
@@ -15,7 +15,7 @@ namespace storm {
         
         typedef storm::storage::BitVector CompressedState;
 
-        class VariableInformation;
+        struct VariableInformation;
         
         /*!
          * Unpacks the compressed state into the evaluator.
diff --git a/src/storm/modelchecker/results/QualitativeCheckResult.cpp b/src/storm/modelchecker/results/QualitativeCheckResult.cpp
index a4122153b..d9b837493 100644
--- a/src/storm/modelchecker/results/QualitativeCheckResult.cpp
+++ b/src/storm/modelchecker/results/QualitativeCheckResult.cpp
@@ -5,11 +5,11 @@
 
 namespace storm {
     namespace modelchecker {
-        QualitativeCheckResult& QualitativeCheckResult::operator&=(QualitativeCheckResult const& other) {
+        QualitativeCheckResult& QualitativeCheckResult::operator&=(QualitativeCheckResult const&) {
             STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Unable to perform logical 'and' on the two check results.");
         }
         
-        QualitativeCheckResult& QualitativeCheckResult::operator|=(QualitativeCheckResult const& other) {
+        QualitativeCheckResult& QualitativeCheckResult::operator|=(QualitativeCheckResult const&) {
             STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Unable to perform logical 'or' on the two check results.");
         }
         
diff --git a/src/storm/parser/GspnParser.cpp b/src/storm/parser/GspnParser.cpp
index 9a0eedd91..6f5b3c731 100644
--- a/src/storm/parser/GspnParser.cpp
+++ b/src/storm/parser/GspnParser.cpp
@@ -81,7 +81,7 @@ namespace storm {
             delete errHandler;
             xercesc::XMLPlatformUtils::Terminate();
 #else
-            STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Storm is not compiled with XML support");
+            STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Storm is not compiled with XML support: " << filename << " can not be parsed");
 #endif
         }
     }
diff --git a/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp b/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp
index e7f64c9a9..9efc0d34b 100644
--- a/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp
+++ b/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp
@@ -103,7 +103,7 @@ namespace storm {
             return std::make_pair(first, second);
         }
         
-        void InternalDdManager<DdType::Sylvan>::allowDynamicReordering(bool value) {
+        void InternalDdManager<DdType::Sylvan>::allowDynamicReordering(bool) {
             STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Operation is not supported by sylvan.");
         }