diff --git a/readme.md b/readme.md
index fe128a110..3ae2afa22 100644
--- a/readme.md
+++ b/readme.md
@@ -1,4 +1,4 @@
-# BASIL (Boogie Analysis for Secure Information-Flow Logics)
+# BASIL (Binary Analysis for Secure Information-Flow Logics)
 
 BASIL generates semantically equivalent Boogie source files (`.bpl`) from AArch64/ARM64 
 binaries that have been lifted intermediate formats. It takes as input the `.gts` format produced by