diff --git a/content/blog/01_spa_agda_lattices.md b/content/blog/01_spa_agda_lattices.md
index dd66688..1006449 100644
--- a/content/blog/01_spa_agda_lattices.md
+++ b/content/blog/01_spa_agda_lattices.md
@@ -342,7 +342,7 @@ the _absorption laws_:
 
 In Agda, we can therefore write a lattice as follows:
 
-{{< codelines "Agda" "agda-spa/Lattice.agda" 153 163 >}}
+{{< codelines "Agda" "agda-spa/Lattice.agda" 183 193 >}}
 
 ### Concrete Examples
 #### Natural Numbers