diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index 4c787b402ffe7b59586bf6c461c44213a49a4f91..d31df1ac21387d82b07628126e91ced4346c141f 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -262,7 +262,7 @@ simplifications.}
 
 \begin{xltabular}{\linewidth}{l X}
 \caption{Rules used by the Carcara elaborator.}
-\label{rule-tab:cvc5}\\
+\label{rule-tab:carcara}\\
   Rule & Description \\
   \hline
 \ruleref{weakening} & Weakening of a clause. \\