diff --git a/source/compatibility.tex b/source/compatibility.tex
index a0ae25da56..edbd9196d1 100644
--- a/source/compatibility.tex
+++ b/source/compatibility.tex
@@ -2916,11 +2916,10 @@
 
 \diffref{basic.types}
 \change
-C allows ``compatible types'' in several places, \Cpp{} does not.\\
+C allows mixing between ``compatible types'' in several places where \Cpp{} does not.\\
 For example,
-otherwise-identical \keyword{struct} types with different tag names
-are ``compatible'' in C but are distinctly different types
-in \Cpp{}.
+enumerated types are ``compatible'' with their underlying types in C but, in \Cpp{},
+enumerations are types distinct from their underlying types.
 \rationale
 Stricter type checking is essential for \Cpp{}.
 \effect
@@ -2928,9 +2927,8 @@
 \difficulty
 Semantic transformation.
 The ``typesafe linkage'' mechanism will find many, but not all,
-of such problems.
-Those problems not found by typesafe linkage will continue to
-function properly,
+such problems.
+Some cases are allowed by \Cpp{}
 according to the ``layout compatibility rules'' of this
 document.
 \howwide