Error in finalDefault and simpleTypes

I was looking up the answer to Lionel's question and stumbled across what
appears to be a small problem wrt simpleTypes and the final attribute.  The
definition for the simpleType component makes a reference to finalDefault
(in the schema element) saying that the relevant set can be

"{extension, restriction, list, union}"

However this is not allowed within the schema element's component
description:

"finalDefault = (#all | List of (extension | restriction))  : ''"

It is also not allowed within the normative Schema at the end of the
structures document.  Ultimately the simple type for the finalDefault
attribute is a union of the values #all and the reducedDerivationControl
which allows only restriction and extension.  finalDefault is therefore
never allowed to have the values list or union.

Thanks,
Jeff Rafter
Defined Systems
http://www.defined.net
XML Development and Developer Web Hosting