diff --git a/typechecker/en/modules/typesystem.xml b/typechecker/en/modules/typesystem.xml
index 1055cbc44c1..00e9bc290a3 100644
--- a/typechecker/en/modules/typesystem.xml
+++ b/typechecker/en/modules/typesystem.xml
@@ -1891,8 +1891,8 @@ interface NumberLiteral
                     <para>Any parameter type of the method is a contravariant position.</para>
                 </listitem>
                 <listitem>
-                    <para>Any upper bound of a type parameter of the method is a contravariant 
-                    position.</para>
+                    <para>Any upper bound or enumerated bound of a type parameter of the 
+                    method is a contravariant position.</para>
                 </listitem>
                 <!--listitem>
                     <para>Any lower bound of a type parameter of the method is a covariant 
@@ -1932,8 +1932,8 @@ interface NumberLiteral
                     any outer containing type.</para>
                 </listitem>
                 <listitem>
-                    <para>Any upper bound of a type parameter of the class is a contravariant 
-                    position.</para>
+                    <para>Any upper bound or enumerated bound of a type parameter of the 
+                    class is a contravariant position.</para>
                 </listitem>
                 <!--listitem>
                     <para>Any lower bound of a type parameter of the class is a covariant