diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ReplaceZeroRegisters.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ReplaceZeroRegisters.java
index ab9c43d320..ade91a3bd6 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ReplaceZeroRegisters.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/program/processing/ReplaceZeroRegisters.java
@@ -10,7 +10,7 @@
 import com.dat3m.dartagnan.program.event.core.Local;
 
 /*
-    This pass replaces every RegWritter
+    This pass replaces every RegWriter
         zr <- e
     targeting a zero register to
         dummy <- e; zr <- 0
@@ -28,7 +28,7 @@ public void run(Function function) {
         for (RegWriter rw : function.getEvents(RegWriter.class)) {
             if (rw.getResultRegister().isZeroRegister()) {
                 Register zr = rw.getResultRegister();
-                Register dummy = rw.getThread().newRegister(zr.getType());
+                Register dummy = rw.getThread().newRegister("__zeroRegDummy_" + zr.getName(), zr.getType());
                 rw.setResultRegister(dummy);
                 rw.insertAfter(EventFactory.newLocal(zr,
                         ExpressionFactory.getInstance().makeZero((IntegerType) zr.getType())));