diff --git a/spec/decode.typ b/spec/decode.typ
index d8332e033..f9c14d73d 100644
--- a/spec/decode.typ
+++ b/spec/decode.typ
@@ -36,7 +36,7 @@ Empty rows with the following content can be added to achieve this:
 #render_chip_padding_table(chip, config)
 
 Note that this row sets the `EBREAK` flag.
-Given that `CPU` asserts that `EBREAK = 0` (see @cpu:c:ebreak_traps), using this "padding-instruction" would immediately make the CPU table unprovable.
+Given that `CPU` asserts that `EBREAK = 0` (see INSERT REF TO CPU EBREAK TRAPS), using this "padding-instruction" would immediately make the CPU table unprovable.
 Note moreover that the `pc` is set to $7$.
 This value is the _smallest odd number_ (i.e., not reachable during regular execution) that is more than _$4$_ (i.e., the max `pc`-increment) greater than _$1$_ (i.e., the `pc`-value used in the #link(<cpu-padding-decode-row>)[additional instruction] referred to by `CPU`-padding lines).
 
@@ -223,4 +223,4 @@ In addition to decoding all instructions provided in the ELF and adding a corres
 Note that this will never conflict with any entry in the ELF, since it has an odd `pc` value.
 
 This entry is used to pad the `CPU` table.
-More details on this matter are provided in the `CPU` chip.
\ No newline at end of file
+More details on this matter are provided in the `CPU` chip.