Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 68a70284d743a2f3fbb728e113a817edb336f56d)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 4fa7096a6630341ea59b2e9ed0517f70d32cb840)
@@ -1322,5 +1322,5 @@
 The type @week@ is the sum of @weekday@ and @weekend@, \ie @week@ has all the enumerators from the set @weekday@ and @weekend@.
 The sum type construction resembles containment inheritance from non-functional programming discipline, with the sum type being a wrapper class that contains one of its parent types.
-The wrapper is unwrapped with pattern matching:
+The wrapper is unwrapped with pattern matching.
 \begin{cquote}
 \begin{tabular}{@{}ll@{}}