diff --git a/README.md b/README.md
index 78aac04..5e27fdf 100644
--- a/README.md
+++ b/README.md
@@ -309,7 +309,7 @@ Nothing above broadcasts a transaction. Every network call is a read
 | AereHybridAuth | (repo source) | not deployed `[VERIFY]` |
 | AereAccountMigrator | (repo source) | not deployed, audit-gated `[VERIFY]` |
 
-Testnet-only PQC precompiles `0x0AE6..0x0AE8` are NOT on mainnet 2800; a mainnet
+Testnet-only PQC precompiles `0x0AE6` (ML-KEM-768) and `0x0AE7` (Falcon HashToPoint) are NOT on mainnet 2800; a mainnet
 call to them returns empty. The scanner names them and flags `[VERIFY]` if seen.
 
 ## Files