diff --git a/lakefile.lean b/lakefile.lean
index aef63a5..7075abe 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -252,7 +252,7 @@ library_facet docsHeader (lib) : FilePath := do
       moduleJobs.bindSync fun _ inputTrace => do
         let depTrace := mixTraceArray #[inputTrace, exeTrace, coreInputTrace]
         let trace ← buildFileUnlessUpToDate dataFile depTrace do
-          logInfo "Documentation indexing"
+          logInfo "Documentation header indexing"
           proc {
             cmd := exeFile.toString
             args := #["headerData", "--build", buildDir.toString]