diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md
index a50924e9b..426d7209a 100644
--- a/DEVELOPMENT.md
+++ b/DEVELOPMENT.md
@@ -48,7 +48,7 @@ just setup
 
 You will need llvm 21.1 installed in order for `just check` to run all its
 checks successfully. On Debian-based systems you can install it as the
-`llvm-21` package; you may also need to install `libpolly21-dev`. You should
+`llvm-21` package; you may also need to install `libpolly-21-dev`. You should
 set the environment variable `LLVM_SYS_211_PREFIX` to point to its location
 (e.g. `/usr/lib/llvm-21`) when running `just check`.
 
diff --git a/devenv.lock b/devenv.lock
index 58fb9d7d4..2e988c17c 100644
--- a/devenv.lock
+++ b/devenv.lock
@@ -63,4 +63,4 @@
   },
   "root": "root",
   "version": 7
-}
\ No newline at end of file
+}