diff --git a/doc/gpg.texi b/doc/gpg.texi
index aa55cb811..1a0ea55ae 100644
--- a/doc/gpg.texi
+++ b/doc/gpg.texi
@@ -393,7 +393,7 @@ functionality is also available as the subcommand "passwd" with the
 @option{--edit-card} command.
 
 @item --delete-keys @code{name}
-@itemx --delete-keys @code{name}
+@opindex delete-keys
 Remove key from the public keyring. In batch mode either @option{--yes} is
 required or the key must be specified by fingerprint. This is a
 safeguard against accidental deletion of multiple keys.