diff --git a/chapters/inheritance.tex b/chapters/inheritance.tex
index ff51c6a28..a52e64099 100644
--- a/chapters/inheritance.tex
+++ b/chapters/inheritance.tex
@@ -983,12 +983,9 @@ \subsection{Constraining Type}\doublelabel{constraining-type}
 replaceable type T=T1[n] constrainedby T2;
 replaceable T1[n] x constrainedby T2;
 \end{lstlisting}
-In these examples the number of dimensions must be the same in \lstinline!T1!
-and \lstinline!T2!, as well as in a redeclaration. Normally \lstinline!T1! and \lstinline!T2! are scalar
-types, but both could also be defined as array types -- with the same
-number of dimensions. Thus if \lstinline!T2! is a scalar type (e.g.\ \lstinline!type T2 = Real!)
-then \lstinline!T1! must also be a scalar type; and if \lstinline!T2! is defined as vector type
-  (e.g.\ \lstinline!type T2 = Real[3]!) then \lstinline!T1! must also be vector type.
+In these examples the number of dimensions must be the same in \lstinline!T1! and \lstinline!T2!, as well as in a redeclaration.  Normally \lstinline!T1! and \lstinline!T2! are scalar types, but both
+could also be defined as array types (with the same number of dimensions).  Thus if \lstinline!T2! is a scalar type (e.g.\ \lstinline!type T2 = Real!) then \lstinline!T1! must also be a scalar type,
+and if \lstinline!T2! is defined as vector type (e.g.\ \lstinline!type T2 = Real[3]!) then \lstinline!T1! must also be vector type.
 \end{example}
 
 \subsubsection{Constraining-clause annotations}\doublelabel{constraining-clause-annotations}