diff --git a/Grammar.cf b/Grammar.cf
index da40cbc..3f89e86 100644
--- a/Grammar.cf
+++ b/Grammar.cf
@@ -104,7 +104,7 @@ coercions Type 3 ;
 
 token UIdent (upper (letter | digit | '_')*) ;
 token LIdent (lower (letter | digit | '_')*) ;
-token Symbol (["@#%^&*_-+=|?/<>,•"]+) ;
+token Symbol (["@#%^&*_-+=|?/<>,•:[]"]+) ;
 
 comment "--";
 comment "{-" "-}";
diff --git a/src/Desugar/Desugar.hs b/src/Desugar/Desugar.hs
index 02eb4d9..bcfe627 100644
--- a/src/Desugar/Desugar.hs
+++ b/src/Desugar/Desugar.hs
@@ -48,7 +48,7 @@ desugarType = \case
         let (name : tvars) = flatten t1 ++ [t2]
          in case name of
                 TIdent ident -> TData ident (map desugarType tvars)
-                _ -> error "desugarType in Desugar.hs is not implemented correctly"
+                _ -> error "desugarType is not implemented correctly"
     TLit l -> TLit l
     TVar v -> TVar v
     (TAll i t) -> TAll i (desugarType t)