diff --git a/src/naming.adoc b/src/naming.adoc
index d0b01ef13..dedb54cdd 100644
--- a/src/naming.adoc
+++ b/src/naming.adoc
@@ -126,7 +126,7 @@ For example, an ISA with non-standard extensions Argle and
 Bargle may be named "RV64IZifencei_Xargle_Xbargle".
 
 If multiple non-standard extensions are listed, they should be ordered
-alphabetically. Like other multi-letter extensions, they should should be
+alphabetically. Like other multi-letter extensions, they should be
 separated from other multi-leter extensions by an underscore.
 
 === Version Numbers