diff --git a/src/smt/smt_context.h b/src/smt/smt_context.h
index 7940b17be..a9fc5c091 100644
--- a/src/smt/smt_context.h
+++ b/src/smt/smt_context.h
@@ -71,7 +71,7 @@ namespace smt {
 
     protected:
         ast_manager &               m_manager;
-        smt_params &          m_fparams;
+        smt_params &                m_fparams;
         params_ref                  m_params;
         setup                       m_setup;
         volatile bool               m_cancel_flag;
diff --git a/src/smt/smt_quantifier.cpp b/src/smt/smt_quantifier.cpp
index e9b0e069a..b76fb6c74 100644
--- a/src/smt/smt_quantifier.cpp
+++ b/src/smt/smt_quantifier.cpp
@@ -453,9 +453,9 @@ namespace smt {
 	 instantiated.
        */
         virtual void add(quantifier * q) {
-	  if (m_fparams->m_mbqi && mbqi_enabled(q)) {
-	    m_model_finder->register_quantifier(q);
-	  }
+            if (m_fparams->m_mbqi && mbqi_enabled(q)) {
+                m_model_finder->register_quantifier(q);
+            }
         }
 
         virtual void del(quantifier * q) {