oops

typechecker/en/modules/declarations.xml

@@ -1624,8 +1624,9 @@ TypeConstraints?
 
             <para>An <literal>object</literal> declaration specifies the name of the
             value and the schema, supertypes, and implementation of the class. It
-            does not specify a type name. Instead, the type has a name assigned 
-            internally by the compiler that is not available at compilation time.</para>
+            does not explicitly specify a type name. Instead, the type name is formed 
+            by prefixing the value name with `\I`, turning it into an initial uppercase
+            identifier, as specified by <xref linkend="identifiersandkeywords"/>.</para>
 
             <para>An <literal>object</literal> class:</para>
 
@@ -1681,14 +1682,9 @@ TypeConstraints?
 
 shared \Ired red = \Ired();</programlisting>
 
-            <para>Where <literal>\Ired</literal> is a name generated by the compiler.
-            The algorithm for generating this name is not specified here.</para>
-
-            <para>Note that a member of an anonymous class that is not annotated 
-            <literal>actual</literal> may only be accessed from within the body of 
-            the anonymous class or by directly invoking the <literal>object</literal> 
-            attribute.</para>
-
+            <para>Where <literal>\Ired</literal> is the type name assigned by the 
+            compiler.</para>
+
             <programlisting>shared object sql {
     shared String escape(String string) { ... }
 }