diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 2d7918a..5abe051 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -102,7 +102,7 @@ and synth_variable
   let ty =
     try HopixTypes.lookup_type_scheme_of_identifier id.position id.value tenv with
     | HopixTypes.Unbound (pos, Identifier (Id i)) ->
-      HopixTypes.type_error pos (Printf.sprintf "%s unbound" i)
+      HopixTypes.type_error pos (Printf.sprintf "Unbound identifier `%s'." i)
   in
   match tlist with
   | None -> HopixTypes.instantiate_type_scheme ty []