diff --git a/src/muz/spacer/spacer_prop_solver.h b/src/muz/spacer/spacer_prop_solver.h
index e01dfba2e..4aedb9676 100644
--- a/src/muz/spacer/spacer_prop_solver.h
+++ b/src/muz/spacer/spacer_prop_solver.h
@@ -144,9 +144,11 @@ public:
     public:
         scoped_weakness(prop_solver &ps, unsigned solver_id, unsigned weakness) :
             m_params(*ps.m_fparams[solver_id == 0 ? 0 : 0 /*1*/]) {
+            // save current values
             m_arith_ignore_int = m_params.m_arith_ignore_int;
             m_array_weak = m_params.m_array_weak;
 
+            // set values based on weakness score
             m_params.m_arith_ignore_int = weakness < 1;
             m_params.m_array_weak = weakness < 2;
         }