diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 6982529..37177bc 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -128,7 +128,7 @@ and synth_tagged
       (fun x -> HopixTypes.internalize_ty tenv x)
       (match tlist with
        | Some t -> t
-       | None -> HopixTypes.type_error cons.position "No types ??")
+       | None -> HopixTypes.type_error cons.position "No types found")
   in
   let tcons =
     try HopixTypes.instantiate_type_scheme cons_scheme tys with
@@ -181,7 +181,7 @@ and synth_record
   let tlist' =
     match tlist with
     | Some tlist -> List.map (fun t -> HopixTypes.internalize_ty tenv t) tlist
-    | None -> HopixTypes.type_error fl.position "No types ??"
+    | None -> HopixTypes.type_error fl.position "No types found"
   in
   (* Type checking *)
   List.iter