Possible error in XML Schema Formal Description

I think there is a typo in the "Typed Element" inference rule in section 
"4. Normalization" in:


         XML Schema: Formal Description, W3C Working Draft, 25 September 2001

Typed Element:
x |- e ? e'
deref(e').content = e'[t]
t <: t'
t |- d ? td
----------
x |- e[@xsi:type[t], d]  ? e'[t types td]



The second precondition should read instead :
deref(e').content = e'[t']

(ie: t' instead of t)

Regards

-- mk



<http://fr.mail.yahoo.com>Yahoo! Mail -- Une adresse @yahoo.fr gratuite et 
en français !