Update chapters/annotations.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

chapters/annotations.tex

@@ -2089,7 +2089,7 @@ \subsection{Protection of Classes}\label{protection-of-classes}
   end M;
 end P;
 \end{lstlisting}
-In order to not reveal the existence of the class \lstinline!P.MySecret!, a tool may choose to show the diagram with both \lstinline!mySecret! and all connections to it removed.
+In order to not reveal the existence of the class \lstinline!P.MySecret!, a tool may choose to show the diagram of \lstinline!P.M! with both \lstinline!mySecret! and all connections to it removed.
 (The tool could also choose to not show the diagram of \lstinline!P.M! at all, or even reject to load the package \lstinline!P! altogether.)
 As long as the invalid use of \lstinline!P.MySecret! occurs within the same top level package as where the class is defined (here, \lstinline!P!), a tool is allowed to silently ignore the use for purposes of model translation.
 When simulating \lstinline!P.M!, the tool must not store \lstinline!mySecret.y!.