diff --git a/content/blog/05_spa_agda_semantics.md b/content/blog/05_spa_agda_semantics.md
index b1514ee..0694321 100644
--- a/content/blog/05_spa_agda_semantics.md
+++ b/content/blog/05_spa_agda_semantics.md
@@ -12,7 +12,7 @@ are an essential ingredient to formalizing the analyses in Anders Møller's
 lecture notes. However, there can be no program analysis without a program
 to analyze! In this post, I will define the (very simple) language that we
 will be analyzing. An essential aspect of the language is its
-[semantics](https://en.wikipedia.org/wiki/Semantics_(computer_science), which
+[semantics](https://en.wikipedia.org/wiki/Semantics_(computer_science)), which
 simply speaking explains what each feature of the language does. At the end
 of the previous article, I gave the following _inference rule_ which defined
 (partially) how the `if`-`else` statement in the language works.