diff --git a/Lake/Build/Info.lean b/Lake/Build/Info.lean
index 36d9d7f..2976825 100644
--- a/Lake/Build/Info.lean
+++ b/Lake/Build/Info.lean
@@ -36,7 +36,7 @@ inductive BuildInfo
 /-! ### Build Key Helper Constructors -/
 
 abbrev Module.facetBuildKey (facet : WfName) (self : Module) : BuildKey :=
-  .moduleFacet self.name facet
+  .moduleFacet self.keyName facet
 
 abbrev Package.facetBuildKey (facet : WfName) (self : Package) : BuildKey :=
   .packageFacet self.name facet