diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst
index 13c70d859..2756c29ab 100644
--- a/docs/guide/exe_verilator.rst
+++ b/docs/guide/exe_verilator.rst
@@ -1629,7 +1629,7 @@ Summary:
 .. option:: --trace-saif
 
    Enable SAIF tracing in the model. This overrides :vlopt:`--trace`.
-   Specification of this format can be found in `Annex I` of https://ieeexplore.ieee.org/document/8686430
+   Specification of this format can be found in this `IEEE spec <https://ieeexplore.ieee.org/document/8686430>`_ (see Annex I). 
 
 .. option:: --trace-structs