xprox specification

1) there are errors in example 1 and 2 of the specification :
   the examples don't conform to xproc's DTD or XML-Schema
   the element <validate-xml-schema> should probably be 
<xml-schema-validate>
   otherwise the DTD and the schema are to be changed accordingly

  2) Is it on purpose that in xproc's DTD and in xproc's XML-Schema
atomicSteps don't have <output> elements in there content or is this an 
error ?

   3) I tried to read the provided xproc's XML-Schema it turns out that 
it is not a correct schema.
I think it should contain the two following namespace declarations in 
the root element of the schema :

xmlns:p="http://www.w3.org/2007/03/xproc" 
xmlns="http://www.w3.org/2001/XMLSchema"

  4)  xproc's XML-Schema is not self contained as it is refencing 
xml:base and xml:id attributes :

I downloaded xml.xsd from "http://www.w3.org/2001/xml.xsd" and added in  
xproc's XML-Schema the following declaration

<import namespace="http://www.w3.org/XML/1998/namespace" 
schemaLocation="xml.xsd"/>
or if you are on the web
<import namespace="http://www.w3.org/XML/1998/namespace" 
schemaLocation="http://www.w3.org/2001/xml.xsd"/>

if this is correct, which I think, you should probably advertise the 
reader how to make the schema selfcontained

  5) there seems to have a problem with the element appearing in the 
atomicStep subtitution group :
as the element atomicStep is abstract all the elements in the 
subtitution group have the same type so they are abstract,
hence they cannot by used in pipelines !