diff --git a/content/blog/04_spa_agda_fixedpoint.md b/content/blog/04_spa_agda_fixedpoint.md
index 0f69789..b12fc5b 100644
--- a/content/blog/04_spa_agda_fixedpoint.md
+++ b/content/blog/04_spa_agda_fixedpoint.md
@@ -1,7 +1,7 @@
 ---
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 4: The Fixed-Point Algorithm"
 series: "Static Program Analysis in Agda"
-description: "In this post, I give a top-level overview of my work on formally verified static analyses"
+description: "In this post, I show how to find the least fixed point of a finite-height lattice"
 date: 2024-11-03T17:50:26-08:00
 tags: ["Agda", "Programming Languages"]
 ---