diff --git a/src/analyses/mutexEventsAnalysis.ml b/src/analyses/mutexEventsAnalysis.ml
index a8ae198e14..e644d68d92 100644
--- a/src/analyses/mutexEventsAnalysis.ml
+++ b/src/analyses/mutexEventsAnalysis.ml
@@ -25,8 +25,8 @@ struct
       | Addr a ->
         let arg_e = AddrOf (PreValueDomain.Mval.to_cil a) in
         if not (CilType.Exp.equal arg arg_e) then
-          let e' = BinOp(Eq, arg, AddrOf (PreValueDomain.Mval.to_cil a), intType) in
-          [Events.SplitBranch  (e',true)]
+          let e' = BinOp (Eq, arg, arg_e, intType) in
+          [Events.SplitBranch (e', true)]
         else
           []
       | _ -> []