diff --git a/report/chapters/04_implementation/04_midas_language.typ b/report/chapters/04_implementation/04_midas_language.typ
index 9509361..7c18bd5 100644
--- a/report/chapters/04_implementation/04_midas_language.typ
+++ b/report/chapters/04_implementation/04_midas_language.typ
@@ -339,7 +339,7 @@ When processing a predicate definition, we first need gather all parameters and
   caption: [Midas Typer: implementation of `visit_predicate_stmt`]
 ) <fig:midas-visit_predicate_stmt>
 
-== Example
+=== Example
 
 Continuing with our example from @fig:example-midas-ast, the type statement would register a new type named `Kelvin` with internal representation given in