diff --git a/specification/appendices/identifier_grammar.rst b/specification/appendices/identifier_grammar.rst
index e85bf410..3abcfae2 100644
--- a/specification/appendices/identifier_grammar.rst
+++ b/specification/appendices/identifier_grammar.rst
@@ -25,8 +25,7 @@ number of identifiers, as described below.
 The server name represents the address at which the homeserver in question can
 be reached by other homeservers. The complete grammar is::
 
-    server_name = dns_name [ ":" port]
-    dns_name = host
+    server_name = host [ ":" port]
     port = *DIGIT
 
 where ``host`` is as defined by `RFC3986, section 3.2.2