diff --git a/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java b/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java
index f798430..2316c5e 100644
--- a/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java
+++ b/src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java
@@ -131,7 +131,7 @@ public class Kind2Api {
    */
   public Kind2Api() {
     otherOptions = new ArrayList<>();
-    safeMode = false;
+    safeMode = null;
     smtSolver = null;
     qeSmtSolver = null;
     itpSmtSolver = null;
@@ -784,7 +784,7 @@ public List<String> getOptions() {
    * @param safeMode whether or not to enable safe mode.
    */
   public void setSafeMode(boolean safeMode){
-    this.safeMode = true;
+    this.safeMode = safeMode;
   }
 
   /**