diff --git a/src/Init/Lean/Util/Path.lean b/src/Init/Lean/Util/Path.lean
index 2bfeb1e776..964bbafe9b 100644
--- a/src/Init/Lean/Util/Path.lean
+++ b/src/Init/Lean/Util/Path.lean
@@ -51,7 +51,7 @@ if libDirExists then do
   path ← realPathNormalized libDir;
   pure $ HashMap.empty.insert "Init" path
 else do
-  let installedLibDir := appDir ++ pathSep ++ ".." ++ pathSep ++ "lib" ++ pathSep ++ "lean" ++ pathSep ++ "library" ++ pathSep ++ "Init";
+  let installedLibDir := appDir ++ pathSep ++ ".." ++ pathSep ++ "lib" ++ pathSep ++ "lean" ++ pathSep ++ "Init";
   installedLibDirExists ← IO.isDir installedLibDir;
   if installedLibDirExists then do
     path ← realPathNormalized installedLibDir;