diff --git a/lib/check.ml b/lib/check.ml
index d69941fc..c9c6a0df 100644
--- a/lib/check.ml
+++ b/lib/check.ml
@@ -12074,7 +12074,7 @@ and instantiate env loc gname vars subst cparams cret =
                    notes =
                      d.Loc.notes
                      @ [ Loc.note d.Loc.dloc
-                           (Printf.sprintf "in %s's body, in the prelude" gname) ];
+                           "the refusal is here, in the prelude" ];
                    expansion = None })
           | Loc.Error d when d.Loc.dloc <> loc ->
             Loc.Error