diff --git a/packages/ludic.i18n/keys.ludic b/packages/ludic.i18n/keys.ludic
index e1191d82..5d9a9b38 100644
--- a/packages/ludic.i18n/keys.ludic
+++ b/packages/ludic.i18n/keys.ludic
@@ -16,7 +16,6 @@ export function i18n_key(name: string) -> string { return kx_join(I18N_KEY, name
 export function i18n_key_plural(name: string) -> string { return kx_join(I18N_PLURAL, name, "", "", "", "", 0) }
 
 # the key's name without its marker ("pause.resume"), or the string as it is
-@alloc_ok("a key's name: a slice of text already made, kept by whoever holds the key")
 export function key_text(k: string) -> string {
   if not i18n_is_key(k) { return k }
   var e = 1
@@ -25,7 +24,6 @@ export function key_text(k: string) -> string {
 }
 
 # the text of a key: drawn translated where it is drawn (its marked text, a free cast)
-@alloc_ok("a cast: the key's own marked text, nothing is made")
 export function tr(k: Key) -> string { return string(k) }
 # a key's text with its holes, {1} .. {4}, filled by strings already made (a number, a name, another key)
 @alloc_ok("a line with its holes, made when something happens and kept by what shows it")