diff --git a/bin/verilator b/bin/verilator
index 79fafdf86..f88a03e14 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -756,7 +756,7 @@ is fairly standard across Verilog tools while -D is similar to GCC.
 
 Select the debug executable of Verilator (if available), and enable more
 internal assertions (equivalent to C<--debug-check>), debugging messages
-(equivalent to C<--debugi 4>), and intermediate form dump files (equivalent
+(equivalent to C<--debugi 3>), and intermediate form dump files (equivalent
 to C<--dump-treei 3>).
 
 =item --debug-check
diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index 0d37a11d5..d64856f9d 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -49,6 +49,7 @@ Marshal Qiao
 Matthew Ballance
 Michael Killough
 Mike Popoloski
+Morten Borup Petersen
 Nandu Raj
 Nathan Kohagen
 Nathan Myers