diff --git a/docs/guide/exe_verilator.rst b/docs/guide/exe_verilator.rst
index 19cb17896..1fd41da9c 100644
--- a/docs/guide/exe_verilator.rst
+++ b/docs/guide/exe_verilator.rst
@@ -1737,7 +1737,7 @@ Summary:
 
 .. option:: --trace-coverage
 
-   With `--trace-*` and ``--coverage-*``, enable tracing to include a
+   With ``--trace-*`` and ``--coverage-*``, enable tracing to include a
    traced signal for every :vlopt:`--coverage-line` or
    :vlopt:`--coverage-user`\ -inserted coverage point, to assist in
    debugging coverage items. Note :vlopt:`--coverage-toggle` does not get