diff --git a/content/blog/06_spa_agda_cfg/index.md b/content/blog/06_spa_agda_cfg/index.md
index 70331b2..915c93d 100644
--- a/content/blog/06_spa_agda_cfg/index.md
+++ b/content/blog/06_spa_agda_cfg/index.md
@@ -1,7 +1,7 @@
 ---
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 6: Control Flow Graphs"
 series: "Static Program Analysis in Agda"
-description: "In this post, I show how I show an Agda definition of control flow graph building"
+description: "In this post, I show an Agda definition of Control Flow Graphs and their construction"
 date: 2024-11-27T16:26:42-07:00
 tags: ["Agda", "Programming Languages"]
 ---