diff --git a/source/lex.tex b/source/lex.tex
index c2b3db8c33..7d4f36677d 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -1327,14 +1327,17 @@
 cannot be represented by any type in its list and
 an extended integer type\iref{basic.fundamental} can represent its value,
 it may have that extended integer type.
-If all of the types in the list for the \grammarterm{integer-literal}
+This type shall have the following signedness:
+\begin{itemize}
+\item If all types in the list for the \grammarterm{integer-literal}
 are signed,
 the extended integer type is signed.
-If all of the types in the list for the \grammarterm{integer-literal}
+\item If all types in the list for the \grammarterm{integer-literal}
 are unsigned,
 the extended integer type is unsigned.
-If the list contains both signed and unsigned types,
+\item Otherwise,
 the extended integer type may be signed or unsigned.
+\end{itemize}
 If an \grammarterm{integer-literal}
 cannot be represented by any of the allowed types,
 the program is ill-formed.