diff --git a/main.tex b/main.tex
index 75ca06dd20e6839fbb14dd3811d5099a77e877a4..d7e0eb68a26faaf6021a2b8b4f59b1bc465d242a 100644
--- a/main.tex
+++ b/main.tex
@@ -4,8 +4,8 @@
 \usepackage{amssymb,amsthm,amsmath,stmaryrd}
 \usepackage{xspace}
 
-\newcommand{\expreg}{exporegular}
-\newcommand{\Expreg}{Exporegular\xspace}
+\newcommand{\expreg}{expregular}
+\newcommand{\Expreg}{Expregular\xspace}
 \newcommand{\mso}{\textsf{MSO}\xspace}
 \newcommand{\fo}{\textsf{FO}\xspace}
 \newcommand{\msot}{\textsf{MSO-T}\xspace}
@@ -202,7 +202,9 @@ Moreover, it is decidable whether an
 
 
 
+\subsection{Layered marble transducer}
 
+We define a model of transducers based on marble transducers.
 \section{FO model-checking of transductions with origins: SSTs and pebble transducers}
 \label{sec:mc}
 \subsection{Model-checking (copyfull) SSTs with origin}