diff --git a/org.rodinp.handbook.feature/latex/reference-04.tex b/org.rodinp.handbook.feature/latex/reference-04.tex
index 05f65bd85e102fb90845757f37940f3dac837325..b283249cfc66368c48ac7591b7acdea4ee20df71 100644
--- a/org.rodinp.handbook.feature/latex/reference-04.tex
+++ b/org.rodinp.handbook.feature/latex/reference-04.tex
@@ -302,7 +302,7 @@ Proofs consists of trees where each node is a proof step. Storing or investigati
 In any view, right-clicking an Event-B project or file will display a popup menu with a \textsf{Simplify Proof(s)} option. If several files or projects (or both) are selected, simplification will apply to all of them.
 
 \subsubsection{Automatic simplification option}
-It is possible to automatically launch the simplification on proof save. However, because this task can be performance consuming this feature is disabled by default. It can be enabled by selecting \textsf{Window} $ \rangle $ \textsf{Preferences} $ \rangle $ \textsf{Event-B} $ \rangle $ \text{Sequent Prover} $ \rangle $ \textsf{Simplify complete proofs when saving}.
+It is possible to automatically launch the simplification on proof save. However, because this task can be performance consuming this feature is disabled by default. It can be enabled by selecting \textsf{Window} $ \rangle $ \textsf{Preferences} $ \rangle $ \textsf{Event-B} $ \rangle $ \textsf{Sequent Prover} $ \rangle $ \textsf{Simplify complete proofs when saving}.
 
 %%% Local Variables: 
 %%% mode: latex