diff --git a/README.md b/README.md
index 0b2e8ee9..72ab61ab 100644
--- a/README.md
+++ b/README.md
@@ -89,17 +89,17 @@ to display a detailed documentation.
 
 > [!IMPORTANT]
 > There are additional steps for the Lean backend. Files generated by the Lean backend
-> import the `Base` package from Aeneas. To use those files in Lean:
+> import the `Aeneas` package from Aeneas. To use those files in Lean:
 >  1. Create a new Lean package using `lake new`.
 >  2. Overwrite the `lean-toolchain` with the one inside `./backends/lean`.
->  3. Add `base` as a dependency in the `lakefile.lean`:  
+>  3. Add `aeneas` as a dependency in the `lakefile.lean`:  
 >     ```lean
->     require base from "PATH_TO_AENEAS_REPO/backends/lean"
+>     require aeneas from "PATH_TO_AENEAS_REPO/backends/lean"
 >     ```
 >     or in the `lakefile.toml`:
 >     ```toml
 >     [[require]]
->     name = "base"
+>     name = "aeneas"
 >     path = "PATH_TO_AENEAS_REPO/backends/lean"
 >     ```