diff --git a/lection-16.tex b/lection-16.tex
index f18531b..5ec8ef5 100644
--- a/lection-16.tex
+++ b/lection-16.tex
@@ -400,7 +400,7 @@
 \item Если прочесть это буквально --- требуется <<универсальный конструктор>>,
 создающий значение данного типа, если тип вообще обитаем. Как это можно сделать
 для сложных типов?
-\item Однако, конструкции подобного сорта возможны. Например <<вычисление с текущим продолжением>>:
+\item Однако конструкции подобного сорта возможны. Например <<вычисление с текущим продолжением>>:
 $$\texttt{callcc}: \forall\alpha.\forall\beta.((\alpha\rightarrow\beta)\rightarrow\alpha)\rightarrow\alpha$$
 %Аргумент call/cc берёт продолжение --- остаток программы, начинающийся с данного места (это $\alpha\rightarrow\beta$)
 %и возвращает знаечени $\alpha$. Тогда вызов call/cc вернёт значение $\alpha$.