diff --git a/paper/paper.tex b/paper/paper.tex
index 2f30d63..7e077cc 100644
--- a/paper/paper.tex
+++ b/paper/paper.tex
@@ -1246,7 +1246,7 @@ \subsection{Regular Expressions and Finite Automata}
 of traces through the NFA is weakly equivalent to the type of traces through the DFA.
 
 \newcommand{\states}{\mathtt{states}}
-\newcommand{\labelt}{\mathtt{label}}
+\newcommand{\labelt}{label}
 \newcommand{\transitions}{\texttt{transitions}}
 \newcommand{\epstransitions}{\epsilon\texttt{transitions}}
 \newcommand{\isAcc}{\mathtt{isAcc}}