diff --git a/src/storm/environment/solver/OviSolverEnvironment.cpp b/src/storm/environment/solver/OviSolverEnvironment.cpp
index f1e8e1b5b..dba37846e 100644
--- a/src/storm/environment/solver/OviSolverEnvironment.cpp
+++ b/src/storm/environment/solver/OviSolverEnvironment.cpp
@@ -14,7 +14,7 @@ namespace storm {
         relevantValuesForPrecisionUpdate = oviSettings.useRelevantValuesForPrecisionUpdate();
         upperBoundGuessingFactor = storm::utility::convertNumber<storm::RationalNumber>(oviSettings.getUpperBoundGuessingFactor());
         upperBoundOnlyIterations = oviSettings.getUpperBoundOnlyIterations();
-        useTerminationGuaranteedMinimumMethod = oviSettings.getUseTerminationGuaranteedMinimumMethod();
+        terminationGuaranteedMinimumMethod = oviSettings.useTerminationGuaranteedMinimumMethod();
     }
     
     OviSolverEnvironment::~OviSolverEnvironment() {
@@ -34,15 +34,15 @@ namespace storm {
     }
 
     storm::RationalNumber OviSolverEnvironment::getUpperBoundGuessingFactor() const {
-        return maxVerificationIterationFactor;
+        return upperBoundGuessingFactor;
     }
 
     uint64_t OviSolverEnvironment::getUpperBoundOnlyIterations() const {
         return upperBoundOnlyIterations;
     }
 
-    bool OviSolverEnvironment::getUseTerminationGuaranteedMinimumMethod() const {
-        return useTerminationGuaranteedMinimumMethod;
+    bool OviSolverEnvironment::useTerminationGuaranteedMinimumMethod() const {
+        return terminationGuaranteedMinimumMethod;
     }
     
 }
diff --git a/src/storm/environment/solver/OviSolverEnvironment.h b/src/storm/environment/solver/OviSolverEnvironment.h
index 7b0fa4d8e..f75985924 100644
--- a/src/storm/environment/solver/OviSolverEnvironment.h
+++ b/src/storm/environment/solver/OviSolverEnvironment.h
@@ -17,7 +17,7 @@ namespace storm {
         bool useRelevantValuesForPrecisionUpdate() const;
         storm::RationalNumber getUpperBoundGuessingFactor() const;
         uint64_t getUpperBoundOnlyIterations() const;
-        bool getUseTerminationGuaranteedMinimumMethod() const;
+        bool useTerminationGuaranteedMinimumMethod() const;
         
     private:
         storm::RationalNumber precisionUpdateFactor;
@@ -25,7 +25,7 @@ namespace storm {
         bool relevantValuesForPrecisionUpdate;
         storm::RationalNumber upperBoundGuessingFactor;
         uint64_t upperBoundOnlyIterations;
-        bool useTerminationGuaranteedMinimumMethod;
+        bool terminationGuaranteedMinimumMethod;
     };
 }
 
diff --git a/src/storm/settings/modules/OviSolverSettings.cpp b/src/storm/settings/modules/OviSolverSettings.cpp
index 8f117365c..7c34b69dc 100644
--- a/src/storm/settings/modules/OviSolverSettings.cpp
+++ b/src/storm/settings/modules/OviSolverSettings.cpp
@@ -54,7 +54,7 @@ namespace storm {
                 return this->getOption(upperBoundOnlyIterationsOptionName).getArgumentByName("iter").getValueAsInteger();
             }
 
-            bool OviSolverSettings::getUseTerminationGuaranteedMinimumMethod() const {
+            bool OviSolverSettings::useTerminationGuaranteedMinimumMethod() const {
                 return this->getOption(useTerminationGuaranteedMinimumMethodOptionName).getHasOptionBeenSet();
             }
            
diff --git a/src/storm/settings/modules/OviSolverSettings.h b/src/storm/settings/modules/OviSolverSettings.h
index 718a646d5..2e5934350 100644
--- a/src/storm/settings/modules/OviSolverSettings.h
+++ b/src/storm/settings/modules/OviSolverSettings.h
@@ -25,7 +25,7 @@ namespace storm {
 
                 uint64_t getUpperBoundOnlyIterations() const;
 
-                bool getUseTerminationGuaranteedMinimumMethod() const;
+                bool useTerminationGuaranteedMinimumMethod() const;
                 
                 // The name of the module.
                 static const std::string moduleName;