--- ai05s/ai05-0096-1.txt 2008/11/27 00:14:47 1.6 +++ ai05s/ai05-0096-1.txt 2009/07/11 03:06:22 1.7 @@ -180,7 +180,7 @@ !corrigendum 6.2(7) @drepl -@xbullet<[a nonprivate type with the reserved word @key[limited] in its declaration;> +@xbullet<a nonprivate type with the reserved word @b<limited> in its declaration;> @dby @xbullet<an explicitly limited record type;>