diff --git a/internal/core/eval/eval.go b/internal/core/eval/eval.go
index 28fe99b..409eda3 100644
--- a/internal/core/eval/eval.go
+++ b/internal/core/eval/eval.go
@@ -1068,7 +1068,7 @@
 // addStruct collates the declarations of a struct.
 //
 // addStruct fulfills two additional pivotal functions:
-//   1) Implement vertex unification (this happends through De Bruijn indices
+//   1) Implement vertex unification (this happens through De Bruijn indices
 //      combined with proper set up of Environments).
 //   2) Implied closedness for definitions.
 //