diff --git a/src/storm/modelchecker/helper/ModelCheckerHelper.h b/src/storm/modelchecker/helper/ModelCheckerHelper.h
index 02ee35531..bdf708d07 100644
--- a/src/storm/modelchecker/helper/ModelCheckerHelper.h
+++ b/src/storm/modelchecker/helper/ModelCheckerHelper.h
@@ -23,7 +23,7 @@ namespace storm {
                 typedef VT ValueType;
 
                 ModelCheckerHelper() = default;
-                ~ModelCheckerHelper() = default;
+                virtual ~ModelCheckerHelper() = default;
                 
                 /*!
                  * Identifies a subset of the model states
diff --git a/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h b/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h
index 82184ad12..2b7776c3d 100644
--- a/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h
+++ b/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h
@@ -19,7 +19,6 @@ namespace storm {
             public:
 
                 SingleValueModelCheckerHelper();
-                ~SingleValueModelCheckerHelper() = default;
                 
                 /*!
                  * Sets the optimization direction, i.e., whether we want to minimize or maximize the value for each state