diff --git a/spec/doc.tex b/spec/doc.tex
index 9022ec21908ec9088b837b5cbf9151e79df1621f..b826c03ec0e80ed1d4d61f8b2758b0e92ae234e3 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -36,7 +36,7 @@
 \indexsetup{level=\indexsection,firstpagestyle=headings,noclearpage}
 
 % Must come after imakeidx
-\usepackage[hidelinks=true]{hyperref}
+\usepackage[hidelinks,hypertexnames=false]{hyperref}
 \usepackage{breakurl}
 
 \usepackage{tikz}
diff --git a/spec/rule_list.tex b/spec/rule_list.tex
index f19f9282a1ef3edd84406b56efe65569e3720bb1..1266d48e0db9d055b9272ed7b6668cd567902d67 100644
--- a/spec/rule_list.tex
+++ b/spec/rule_list.tex
@@ -231,7 +231,7 @@ simplifications.}
 
 \begin{xltabular}{\linewidth}{l X}
 \caption{Bitvector rules.}
-\label{rule-tab:simplification}\\
+\label{rule-tab:bitblasting}\\
   Rule & Description \\
   \hline
 \ruleref{bitblast_extract} & Bitblasting of $\lsymb{extract}$. \\