diff --git a/report/chapters/03_theory.typ b/report/chapters/03_theory.typ
index 64cc54a..9442fba 100644
--- a/report/chapters/03_theory.typ
+++ b/report/chapters/03_theory.typ
@@ -65,7 +65,7 @@ The notations for context are as follows:
   [the context extended with the binding of $"t"$ to the type $"T"$],
 ))
 
-Finally, the rules expressed in @sec:theory-syntax are written in the form of theorems using the following mathematical syntaxes:
+Finally, the rules expressed in @sec:theory-typing are written in the form of theorems using the following mathematical syntaxes:
 
 #align(center, grid(
   columns: 2,