1 files changed, 1 insertions, 1 deletions
diff --git a/mgr.tex b/mgr.tex
index c08e0e6..257349b 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -130,7 +130,7 @@ Consider the case of binary trees labeled with $\Sigma$. A
 \end{itemize}
 
 A \definedterm{run} of tree automaton $A$ over tree $T$ is a relabeling of $T$
-with the elements of $Q$ such that
+with elements of $Q$ such that
 
 \begin{itemize}
     \item Each leaf with label $a \in \Sigma$ is relabeled with $\iota(a)$.