diff --git a/examples-3.0/tutorial/semantics/Base.gf b/examples-3.0/tutorial/semantics/Base.gf
index 4586c3106..85868d7ac 100644
--- a/examples-3.0/tutorial/semantics/Base.gf
+++ b/examples-3.0/tutorial/semantics/Base.gf
@@ -30,7 +30,7 @@ fun
 
 -- lexicon
 
-  UseInt  : Int -> PN ;
+  UseInt : Int -> PN ;
 
   Number : CN ;
   Even, Odd, Prime : AP ;