diff --git a/ACV-abstract-2026/sym-sim.tex b/ACV-abstract-2026/sym-sim.tex
index b937b17..3675c5f 100644
--- a/ACV-abstract-2026/sym-sim.tex
+++ b/ACV-abstract-2026/sym-sim.tex
@@ -253,7 +253,7 @@ we consider four ways of relaxing Barr relators, to model simulation:
   \item\label{it:ll-barr} left-lax Barr relator $\appr\comp\bar{F}$ 
   \item\label{it:rl-barr} right-lax Barr relator $\bar{F}\comp\appr$  
   \item\label{it:bl-barr} bi-lax Barr relator $\appr\comp\bar{F}\comp\appr$ 
-  \item\label{it:ml-barr} mid-lax Barr relator $R\mapsto F\pi_2\comp\sappr\comp(F\pi_1)^\op$, by 
+  \item\label{it:ml-barr} mid-lax Barr relator $R\mapsto F\pi_2\comp\appr\comp(F\pi_1)^\op$, by 
   viewing $R$ as a span via projections $\pi_1\c R\to X$, $\pi_2\c R\to Y$.
 \end{enumerate}
 %