diff --git a/Lake/Trace.lean b/Lake/Trace.lean
index 5af1fe651f..42b31ed1cc 100644
--- a/Lake/Trace.lean
+++ b/Lake/Trace.lean
@@ -128,7 +128,7 @@ def checkIfNewer [GetMTime a] (artifact : a) (depMTime : MTime) : IO Bool := do
 
 --------------------------------------------------------------------------------
 -- # Lake Trace (Hash + MTIme)
-------------------------------------------------------------------------------
+--------------------------------------------------------------------------------
 
 /-- Trace used for common Lake targets. Combines `Hash` and `MTime`. -/
 structure LakeTrace where