diff --git a/src/lake/Lake/DSL/Require.lean b/src/lake/Lake/DSL/Require.lean
index e96824803e..c4a6921566 100644
--- a/src/lake/Lake/DSL/Require.lean
+++ b/src/lake/Lake/DSL/Require.lean
@@ -38,7 +38,7 @@ def expandDepSpec : TSyntax ``depSpec → MacroM Command
 | _ => Macro.throwUnsupported
 
 /--
-Adds a mew package dependency to the workspace. Has two forms:
+Adds a new package dependency to the workspace. Has two forms:
 
 ```lean
 require foo from "path"/"to"/"local"/"package" with NameMap.empty