diff --git a/loops_wmm.tex b/loops_wmm.tex
index 9f4727d..d533241 100644
--- a/loops_wmm.tex
+++ b/loops_wmm.tex
@@ -92,16 +92,16 @@
   \pause
   \begin{traceenv}{1.2}{0.9}
     \stepcounter{evctr}
-    \onslide<4->{\node at (\curEv-0.5, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};}
+    \onslide<4->{\node at (\curEv, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};}
     \onslide<6->{\node at (\curEv-0.5, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
     \onslide<8->{\node at (\curEv-0.3, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
     \onslide<9->{\node at (\curEv-0.5, 1) {$\wlab{}{l}{0}$ \stepcounter{evctr}};}
     \onslide<11->{\node at (\curEv-0.5, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
-    \onslide<13->{\node at (\curEv-0.4, 0) {\ldots \stepcounter{evctr}};}
+    \onslide<13->{\node at (\curEv-0.9, 0) {\ldots};}
     \onslide<15->{\node at (\curEv-0.3, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
     \onslide<16->{\node at (\curEv-0.8, 1) {\color{blue} \underline{$\mathtt{prop}$} \stepcounter{evctr}};}
     \onslide<18->{\node at (\curEv-0.7, 0) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};}
-    \onslide<19->{\node at (\curEv-0.7, 0) {$\wlab{}{l}{0}$};}
+    \onslide<19->{\node at (\curEv-0.4, 0) {$\wlab{}{l}{0}$};}
   \end{traceenv}
 
   
diff --git a/programs.tex b/programs.tex
index 5f8e212..c2eebe6 100644
--- a/programs.tex
+++ b/programs.tex
@@ -228,7 +228,7 @@
 \newcommand{\fairTrace}{
     \begin{traceenv}{1.4}{0.9}
     \stepcounter{evctr}
-    \node at (\curEv-0.5, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};
+    \node at (\curEv-0.25, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};
     \node at (\curEv-0.7, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};
     \node at (\curEv-0.4, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};
     \node at (\curEv-0.7, 1) {$\wlab{}{l}{0}$ \stepcounter{evctr}};