--- ai05s/ai05-0091-1.txt 2008/11/27 00:14:47 1.5 +++ ai05s/ai05-0091-1.txt 2009/03/21 02:26:03 1.6 @@ -153,7 +153,7 @@ Two @fa<identifier>s are considered the same if they consist of the same sequence of characters after converting the characters to upper case. -!corrigenum 2.3(5.1/2) +!corrigendum 2.3(5.1/2) @ddel @xbullet<The characters in category @fa<other_format> are eliminated.>