diff --git a/README.md b/README.md
index a3523798fa..68eeb0e2ed 100644
--- a/README.md
+++ b/README.md
@@ -24,7 +24,7 @@ from projects and files down to declarations and source lines. The
 the badge shows the date of the latest completed recording.
 
 <!-- BEGIN STATS -->
-**301** formalization projects · **11,004,763** lines of Lean
+**301** formalization projects · **11,004,760** lines of Lean
 <!-- END STATS -->
 
 <sub>(stats above are refreshed automatically by the [generated-metadata workflow](.github/workflows/notice.yml) — edit [`python/lean_pool/stats.py`](python/lean_pool/stats.py), not the numbers)</sub>