The sentence between the two example boxes in section 9.7 (Scope of Variables) 
reads:

"It is also not an error if a binding established by a local xsl:variable or 
xsl:param element shadows another binding established by another local 
xsl:variable or xsl:param."

This statement conflicts with error XTSE0580 (It is a static error if two 
parameters of a template or of a stylesheet function have the same name).  
It's not possible for a local xsl:param to shadow a binding established by 
another local xsl:variable or xsl:param.

Suggested resolution:  The first instance of "or xsl:param" in this sentence 
should be struck.