diff --git a/internal/tlmodel/README.md b/internal/tlmodel/README.md
index 588deaa..648dfe5 100644
--- a/internal/tlmodel/README.md
+++ b/internal/tlmodel/README.md
@@ -4,7 +4,7 @@
 * В данной модели нет _Boxed_ на момент написания этого файла (13.11.24)
 * Для описания типа создайте объект типа `TLType` (разница между union-type и обычными типа лишь в количестве конструкторов)
 
-Пример для `pair {X: Type} {Y: Type} left:X property:Y = Pair;`:
+Пример для `pair {X: Type} {Y: Type} left:X right:Y = Pair;`:
 ```haskell
 \func TLPair : TLType => \new TLType {
   | typeHeader => tl-new-type 1 (^Type :: (^Type :: nil))
@@ -35,4 +35,4 @@
 }
 ```
 
-Другие примеры лежат в `src/Types.ard`. Также там есть пример не выводимой в тле конструкции (которая не компилиться в Arend)
\ No newline at end of file
+Другие примеры лежат в `src/Types.ard`. Также там есть пример не выводимой в тле конструкции (которая не компилиться в Arend)