diff --git a/specification/client_server_api.rst b/specification/client_server_api.rst
index 8dde4302..1bb989ff 100644
--- a/specification/client_server_api.rst
+++ b/specification/client_server_api.rst
@@ -1417,7 +1417,7 @@ have to wait in milliseconds before they can try again.
 .. References
 
 .. _`macaroon`: http://research.google.com/pubs/pub41892.html
-.. _`devices`: ../intro.html#devices
+.. _`devices`: ../index.html#devices
 
 .. Links through the external API docs are below
 .. =============================================
diff --git a/specification/modules/cas_login.rst b/specification/modules/cas_login.rst
index b651431a..5de98057 100644
--- a/specification/modules/cas_login.rst
+++ b/specification/modules/cas_login.rst
@@ -98,9 +98,9 @@ check for certain user attributes in the response. Any required attributes
 should be configured by the server administrator.
 
 Once the ticket has been validated, the server MUST map the CAS ``user_id``
-to a valid `Matrix user identifier <../intro.html#user-identifiers>`_. The
+to a valid `Matrix user identifier <../index.html#user-identifiers>`_. The
 guidance in `Mapping from other character sets
-<../intro.html#mapping-from-other-character-sets>`_ may be useful.
+<../index.html#mapping-from-other-character-sets>`_ may be useful.
 
 If the generated user identifier represents a new user, it should be registered
 as a new user.