diff --git a/src/content/posts/2024-09-18-hcomp/index.lagda.md b/src/content/posts/2024-09-18-hcomp/index.lagda.md
index 4cdc9b9..21597c4 100644
--- a/src/content/posts/2024-09-18-hcomp/index.lagda.md
+++ b/src/content/posts/2024-09-18-hcomp/index.lagda.md
@@ -202,7 +202,7 @@ In Agda, we can write it like this:
 
 </div>
 
-Now, the fun part is to show the extra requirements that is needed to show that these two functions indeed form an isomorphisms:
+Now, the fun part is to show the extra requirements that are needed to show that these two functions indeed form an isomorphism:
 
 * $f(g(s)) \equiv s$
 * $g(f(b)) \equiv b$