Update reference to last table of builtin tags

doc/plutus-core-spec/flat-serialisation.tex

@@ -553,7 +553,7 @@ \subsection{Constants}
 \subsection{Built-in functions}
 Built-in functions are represented by seven-bit integer tags and encoded and
 decoded using $\E_7$ and $\D_7$.  The tags are specified in
-Tables~\ref{table:builtin-tags-batch-1}--\ref{table:builtin-tags-batch-5}.  We
+Tables~\ref{table:builtin-tags-batch-1}--\ref{table:builtin-tags-batch-6}.  We
 assume that there are (partial) functions $\Tag$ and $\unTag$ which convert back
 and forth between builtin names and their tags.