diff --git a/doc/config.md b/doc/config.md
index 24ca06cb..498551ef 100644
--- a/doc/config.md
+++ b/doc/config.md
@@ -133,7 +133,7 @@ Syntax:
 
 * `console <DEV>`  
   Use this, along with a matching `tty DEV` line, to mark this TTY as a
-  special "console" port with with `prctl()`.  Useful in use-cases when
+  special "console" port with `prctl()`.  Useful in use-cases when
   all logins except the console must be stopped, e.g. when performing a
   flash upgrade on an embedded system.