Update chapters/inheritance.tex

chapters/inheritance.tex

@@ -1072,7 +1072,7 @@ \subsection{Annotations for Redeclaration and Modification}\label{annotation-cho
 This is a hint for users of the model, and can also be used by the user interface to suggest reasonable redeclaration, where the string comments on the choice declaration can be used as textual explanations of the choices.
 The annotation is not restricted to replaceable elements but can also be applied to non-replaceable elements, enumeration types, and simple variables.
 
-It is allowed to include choices are invalid in some contexts, e.g., a value might violate a \lstinline!min!-attribute.
+It is allowed to include choices that are invalid in some contexts, e.g., a value might violate a \lstinline!min!-attribute.
 (Options for tools encountering such choices include not showing them, marking them as invalid, or detecting the violations later.)
 
 For a \lstinline!Boolean! variable, a \lstinline!choices! annotation may contain the definition \lstinline!checkBox = true!, meaning to display a checkbox to input the values \lstinline!false! or \lstinline!true! in the graphical user interface.