CVS difference for ai05s/ai05-0158-1.txt

--- ai05s/ai05-0158-1.txt	2011/06/20 04:55:17	1.15
+++ ai05s/ai05-0158-1.txt	2011/09/29 06:34:02	1.16
@@ -297,7 +297,7 @@
 For a membership test, if the @fa<simple_expression> is of a tagged
 class-wide type, then the tested type shall be (visibly) tagged.
 @dinst
-If a membership test includes one or more choice expressions and
+If a membership test includes one or more @fa<choice_expression>s and
 the tested type of the membership test is limited, then the
 tested type of the membership test shall have a visible
 primitive equality operator.