Update chapters/inheritance.tex

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

chapters/inheritance.tex

@@ -1001,7 +1001,8 @@ \subsection{Annotations for Redeclaration and Modification}\label{annotation-cho
 This menu can be disabled using annotation \lstinline!choicesAllMatching = false!.
 It is possible to combine the two annotations for one declaration, and tools may avoid generating duplicate menu entries in that case.
 \begin{nonnormative}
-The behavior when \lstinline!choicesAllMatching! is not specified; ideally it should for replaceable elements present (at least) the same choices as for \lstinline!choicesAllMatching = true;! but if it takes (too long) time to present the list it is better to have \lstinline!choicesAllMatching = false!.
+When \lstinline!choicesAllMatching! is not specified the following behavior is recommended for replaceable elements.
+A tool could ideally present (at least) the same choices as for \lstinline!choicesAllMatching = true!, but if it takes (too long) time to present the list it might be better to use the \lstinline!choicesAllMatching = false! behavior instead.
 \end{nonnormative}
 
 \begin{example}