diff --git a/DocGen4/Output/Navbar.lean b/DocGen4/Output/Navbar.lean
index c6de80d..4280864 100644
--- a/DocGen4/Output/Navbar.lean
+++ b/DocGen4/Output/Navbar.lean
@@ -31,7 +31,7 @@ partial def moduleListDir (h : Hierarchy) : BaseHtmlM Html := do
   let moduleLink ← moduleNameToLink h.getName
   let summary :=
     if h.isFile then
-      <summary>{← moduleToHtmlLink h.getName}</summary>
+      <summary>{s!"{h.getName.getString!} ({<a href={← moduleNameToLink h.getName}>file</a>})"} </summary>
     else
       <summary>{h.getName.getString!}</summary>