diff --git a/rsconcept/frontend/src/models/rslang.ts b/rsconcept/frontend/src/models/rslang.ts
index 59414313..ca7210c2 100644
--- a/rsconcept/frontend/src/models/rslang.ts
+++ b/rsconcept/frontend/src/models/rslang.ts
@@ -241,7 +241,6 @@ export enum RSErrorType {
   invalidArgsArity = 34840,
   invalidArgumentType = 34841,
   globalStructure = 34844,
-  globalExpectedFunction = 34847,
   radicalUsage = 34849,
   invalidFilterArgumentType = 34850,
   invalidFilterArity = 34851,
diff --git a/rsconcept/frontend/src/utils/labels.ts b/rsconcept/frontend/src/utils/labels.ts
index 7513ab5d..97849809 100644
--- a/rsconcept/frontend/src/utils/labels.ts
+++ b/rsconcept/frontend/src/utils/labels.ts
@@ -753,7 +753,7 @@ export function describeRSError(error: IRSErrorDescription): string {
     case RSErrorType.invalidProjectionTuple:
       return `Проекция не определена: ${error.params[0]} -> ${error.params[1]}`;
     case RSErrorType.invalidProjectionSet:
-      return `τ(Pri(a)) = BCiDτ(a). Некорректная типизация аргумента: ${error.params[0]}`;
+      return `τ(Pri(a)) = BCiDτ(a). Некорректная типизация аргумента: ${error.params[0]} -> ${error.params[1]}`;
     case RSErrorType.invalidEnumeration:
       return `Типизация аргументов перечисления не совпадает: ${error.params[0]} != ${error.params[1]}`;
     case RSErrorType.invalidBinding:
@@ -768,8 +768,6 @@ export function describeRSError(error: IRSErrorDescription): string {
       return `Типизация аргумента терм-функции не соответствует объявленной: ${error.params[0]} != ${error.params[1]}`;
     case RSErrorType.globalStructure:
       return `Выражение родовой структуры должно быть ступенью`;
-    case RSErrorType.globalExpectedFunction:
-      return `Ожидалось выражение объявления функции`;
     case RSErrorType.radicalUsage:
       return `Радикалы запрещены вне деклараций терм-функции: ${error.params[0]}`;
     case RSErrorType.invalidFilterArgumentType: