diff --git a/anneal/Cargo.lock b/anneal/Cargo.lock
index 44731ba636..f1c9c473e7 100644
--- a/anneal/Cargo.lock
+++ b/anneal/Cargo.lock
@@ -213,7 +213,7 @@ dependencies = [
 
 [[package]]
 name = "cargo-anneal"
-version = "0.1.0-alpha.20"
+version = "0.1.0-alpha.21"
 dependencies = [
  "anyhow",
  "assert_cmd",
diff --git a/anneal/Cargo.toml b/anneal/Cargo.toml
index 830c8c8325..b6df3fc8a0 100644
--- a/anneal/Cargo.toml
+++ b/anneal/Cargo.toml
@@ -4,7 +4,7 @@ members = [".", "tools/doc_gen"]
 [package]
 name = "cargo-anneal"
 edition = "2024"
-version = "0.1.0-alpha.20"
+version = "0.1.0-alpha.21"
 description = "Formally verify that your safety comments are correct."
 categories = [
   "development-tools::cargo-plugins",
diff --git a/anneal/README.md b/anneal/README.md
index 41c462558d..ba8dc6a92b 100644
--- a/anneal/README.md
+++ b/anneal/README.md
@@ -109,7 +109,7 @@ impl std::ops::Div<PositiveUsize> for usize {
 Install Anneal and its required toolchains (Charon and Aeneas):
 
 ```bash
-cargo install cargo-anneal@0.1.0-alpha.20
+cargo install cargo-anneal@0.1.0-alpha.21
 cargo anneal setup
 ```
 
@@ -137,8 +137,6 @@ cargo anneal verify
 
 ## Usage & Commands
 
-Anneal wraps the underlying tools to provide a seamless experience:
-
 - **`cargo anneal verify`**: Verifies the target crate.
 - **`cargo anneal expand`**: Outputs the generated Lean code without running full verification (useful for debugging).
 - **`cargo anneal generate`**: Generates the `.lean` files on disk, allowing you to iterate on proofs using standard Lean tooling before copying them back to Rust source.