diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 44c309949e9638b1f5b7abae28816b04f69cf486..4afbba82f30d17b20d41de43041a6ce7e0b7a1ee 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -284,7 +284,7 @@ $i$. & \ctxsep & $\varphi$ & \currule \\
 \begin{RuleDescription}{hole}
 
 \begin{AletheX}
-$i$. & \ctxsep & $\varphi$  & $(\currule\; p_1, \dots, p_n)\, [a_1, \dots, a_n]$ \\
+$i$. & \ctxsep & $\varphi$  & $(\currule\; p_2, \dots, p_n)\, [a_1, \dots, a_m]$ \\
 \end{AletheX}
 where $\varphi$ is any well-formed formula.