diff --git a/chapters/overloaded.tex b/chapters/overloaded.tex
index a9e0f7d9b..af51c4003 100644
--- a/chapters/overloaded.tex
+++ b/chapters/overloaded.tex
@@ -106,20 +106,16 @@ \section{Matching Function}\label{matching-function}
 \section{Overloaded Constructors}\label{overloaded-constructors}
 
 Let \lstinline!C! denote an operator record class and consider an expression
-\lstinline!C($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$ = $w_{1}$, $\ldots$, $b_{p}$ = $w_{p}$)!.
+\lstinline!C($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$=$w_{1}$, $\ldots$, $b_{p}$=$w_{p}$)!.
 
 \begin{enumerate}
 \item\label{overloaded-constructor-unique}
   If there exists a unique function $f$ in \lstinline!C.'constructor'! such that
-  ($A_1$, $a_{2}$,\ldots{}, $a_{k}$,
-  $b_{1}$= $w_{1}$ ,\ldots{}, $b_{p}$=
-  $w_{p}$) is a valid match for the function $f$, then
-  C($A_1$, $a_{2}$,\ldots{}, $a_{k}$,
-  $b_{1}$= $w_{1}$ ,\ldots{}, $b_{p}$=
-  $w_{p}$) is resolved to\\
-  C.'constructor'.f($A_1$, $a_{2}$,\ldots{},
-  $a_{k}$, $b_{1}$= $w_{1}$ ,\ldots{},
-  $b_{p}$= $w_{p}$).
+  ($A_1$, $a_{2}$, \ldots{}, $a_{k}$, $b_{1}$=$w_{1}$, \ldots{}, $b_{p}$=$w_{p}$)
+  is a valid match for the function $f$, then
+  \lstinline!C($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$=$w_{1}$, $\ldots$, $b_{p}$=$w_{p}$)!
+  is resolved to
+  \lstinline!C.'constructor'.$f$($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$=$w_{1}$, $\ldots$, $b_{p}$=$w_{p}$)!.
 \item
   If there is no operator \lstinline!C.'constructor'! the automatically generated record constructor is called.
 \item