diff --git a/micro-benchmarks/DRB129-mergeable-taskwait-orig-yes.c b/micro-benchmarks/DRB129-mergeable-taskwait-orig-no.c
similarity index 100%
rename from micro-benchmarks/DRB129-mergeable-taskwait-orig-yes.c
rename to micro-benchmarks/DRB129-mergeable-taskwait-orig-no.c
diff --git a/micro-benchmarks/DRB142-acquirerelease-orig-yes.c b/micro-benchmarks/DRB142-acquirerelease-orig-yes.c
index 19a3a97..84f392f 100644
--- a/micro-benchmarks/DRB142-acquirerelease-orig-yes.c
+++ b/micro-benchmarks/DRB142-acquirerelease-orig-yes.c
@@ -15,7 +15,7 @@
  * variable.
  *
  * Implicit flush must be used after critical construct, after line:34 and before line:35 to avoid data race.
- * Data Race pair: x@34:9:W vs. x@34:9:W
+ * Data Race pair: x@34:9:W vs. x@43:11:R
  * */
 
 
@@ -39,9 +39,8 @@ int main(){
       while (tmp == 0) {
         #pragma omp atomic read acquire
         tmp = y;
-    }
-    #pragma omp critical
-    { if (x!=10) printf("x = %d\n", x); }
+      }
+      if (x!=10) printf("x = %d\n", x); 
     }
   }
   return 0;
diff --git a/micro-benchmarks/DRB189-barrier3-yes.c b/micro-benchmarks/DRB189-barrier3-yes.c
index ea8e57b..9e9167f 100644
--- a/micro-benchmarks/DRB189-barrier3-yes.c
+++ b/micro-benchmarks/DRB189-barrier3-yes.c
@@ -13,7 +13,11 @@
 
  * one synchronization commented out.
  * enters.  So race on x can occur.
- * Data race pair: x@104:9:W vs. x@111:9:W
+ * Data race pair: x@106:9:W vs. x@113:9:W
+                   x@106:9:W vs. x@101:58:R
+                   x@106:9:W vs. x@108:58:R
+                   x@101:58:R vs. x@113:9:W
+                   x@108:58:R vs. x@113:9:W
  */
 
 #include <stdio.h>