Spelling

chapters/annotations.tex

@@ -2101,7 +2101,7 @@ \subsection{Protection of Classes}\label{protection-of-classes}
 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!.
 
-It is not specified whether a tool hides the entire text of \lstininline!P.M2!, hides just the declaration, or shows the entire text of the \lstininline!P.M2!.
+It is not specified whether a tool hides the entire text of \lstinline!P.M2!, hides just the declaration, or shows the entire text of the \lstinline!P.M2!.
 In order to support development of valid protected packages, it is of course OK and expected that a tool will report the invalid use of \lstinline!P.MySecret! in \lstinline!P.M! and \lstinline!P.M2! (revealing its existence in a diagnostic) during development of the package.
 \end{example}