diff --git a/Lake/Build.lean b/Lake/Build.lean
index bf1e9d86ff..b970a67a97 100644
--- a/Lake/Build.lean
+++ b/Lake/Build.lean
@@ -5,7 +5,7 @@ Authors: Gabriel Ebner, Sebastian Ullrich, Mac Malone
 -/
 import Lean.Data.Name
 import Lean.Elab.Import
-import Lake.BuildTarget
+import Lake.Target
 import Lake.BuildTop
 import Lake.Resolve
 import Lake.Package
diff --git a/Lake/BuildTargets.lean b/Lake/BuildTargets.lean
index c9c134142e..5816fcbcdd 100644
--- a/Lake/BuildTargets.lean
+++ b/Lake/BuildTargets.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Mac Malone
 -/
 import Lake.Compile
-import Lake.BuildTarget
+import Lake.Target
 
 open System
 namespace Lake
diff --git a/Lake/Package.lean b/Lake/Package.lean
index 5e3f26d21b..ebcdb90638 100644
--- a/Lake/Package.lean
+++ b/Lake/Package.lean
@@ -7,7 +7,7 @@ import Lean.Data.Name
 import Lean.Elab.Import
 import Std.Data.HashMap
 import Lake.LeanVersion
-import Lake.BuildTarget
+import Lake.Target
 
 open Lean Std System
 
diff --git a/Lake/BuildTarget.lean b/Lake/Target.lean
similarity index 99%
rename from Lake/BuildTarget.lean
rename to Lake/Target.lean
index b98f36df60..e72895384c 100644
--- a/Lake/BuildTarget.lean
+++ b/Lake/Target.lean
@@ -3,8 +3,8 @@ Copyright (c) 2021 Mac Malone. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Mac Malone
 -/
-import Lake.BuildTask
-import Lake.BuildTrace
+import Lake.Task
+import Lake.Trace
 
 open System
 namespace Lake
diff --git a/Lake/BuildTask.lean b/Lake/Task.lean
similarity index 100%
rename from Lake/BuildTask.lean
rename to Lake/Task.lean
diff --git a/Lake/BuildTrace.lean b/Lake/Trace.lean
similarity index 100%
rename from Lake/BuildTrace.lean
rename to Lake/Trace.lean