diff --git a/src/cdomain/value/cdomains/int/intDomTuple.ml b/src/cdomain/value/cdomains/int/intDomTuple.ml
index 34647795d8..faf251423c 100644
--- a/src/cdomain/value/cdomains/int/intDomTuple.ml
+++ b/src/cdomain/value/cdomains/int/intDomTuple.ml
@@ -265,7 +265,7 @@ module IntDomTupleImpl = struct
          let old_dt = !dt in
          List.iter (fun f -> dt := f !dt) (refine_functions ik);
          quit_loop := equal old_dt !dt;
-         if is_bot !dt then dt := bot_of ik; quit_loop := true;
+         if is_bot !dt then (dt := bot_of ik; quit_loop := true);
          if M.tracing then M.trace "cong-refine-loop" "old: %a, new: %a" pretty old_dt pretty !dt;
        done;
      | _ -> ()