diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index c226703eb54b2cc2a969770ef5910cc7ccfc8d56..508cfa0dfeb0c7aea8337d612c0c135415e7c391 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.