diff --git a/docs/user-manual/binary-ninja-ui.tex b/docs/user-manual/binary-ninja-ui.tex
index 4d89479c..881d0fa2 100644
--- a/docs/user-manual/binary-ninja-ui.tex
+++ b/docs/user-manual/binary-ninja-ui.tex
@@ -147,7 +147,7 @@ \subsection{Trace Constraints}
 \end{figure}
 
 Multiple constraints may be added at this point, or removed via the "Remove Constraint" button. Once the desired set of constraints
-has been provided, clicking "OK" will close the dialogue and present an updated equivalence condition window containing the
+has been provided, clicking ``OK'' will close the dialogue and present an updated equivalence condition window containing the
 now-constrained traces (see Figure~\ref{fig:equiv-cond-constrained}). Notably the equivalence condition itself has also been
 simplified under the trace constraints. This may, for example, remove some clauses that are now necessarily true under the
 given constraint, or simplify the entire condition to simply \emph{true} if the given constraints imply that the