diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index 93c22b1b6..f99913771 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -123,6 +123,7 @@ Krzysztof Obłonczek
 Kuba Ober
 Larry Doolittle
 Liam Braun
+Luca Colagrande
 Ludwig Rogiers
 Lukasz Dalek
 Maarten De Braekeleer
diff --git a/docs/guide/verilating.rst b/docs/guide/verilating.rst
index 00346eb98..5abc3a0aa 100644
--- a/docs/guide/verilating.rst
+++ b/docs/guide/verilating.rst
@@ -304,9 +304,9 @@ GNU Make
 ========
 
 Verilator defaults to creating GNU Make makefiles for the model.  Verilator
-will call make automatically when the :vlopt:'--build' option is used.
+will call make automatically when the :vlopt:`--build` option is used.
 
-If calling Verilator from a makefile, the :vlopt:'-MMD' option will create
+If calling Verilator from a makefile, the :vlopt:`--MMD` option will create
 a dependency file, allowing Make to only run Verilator if input Verilog
 files change.