diff --git a/make_site.py b/make_site.py
index c9c1b878c..14cfcc44f 100755
--- a/make_site.py
+++ b/make_site.py
@@ -409,7 +409,7 @@ def download_N_theorems(kind: NTheorems) -> dict:
                             print(f'Error: {thms} entry {id} refers to a nonexistent declaration {decl}')
                             continue
                         # note: the `header-data.json` data file uses doc-relative links
-                        header = decl_info.header.replace('href="./Mathlib/', 'href="./mathlib4_docs/Mathlib/')
+                        header = decl_info.header.replace('href="./', 'href="./mathlib4_docs/')
                         doc_decls.append(DocDecl(
                             name=decl,
                             decl_header_html = header,