diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 7ab128005c70a5f9a66c7183235a011f2d7f0a44..66d20af4cc04be62541992486598f5fb512acda0 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -601,7 +601,6 @@ Either of the form:
 		$(t_1 < 0 \land \neg (t_2 ≈ t_3)) \rightarrow \neg (t_1 * t_2 ≈ t_1 * t_3)$
 		& (\currule) \\
 	\end{AletheX}
-	.
 \end{RuleDescription}
 
 \begin{RuleDescription}{bind}