XLink 1.1 WD: Optional type attribute

Hi,
The XLink 1.1 WD (http://www.w3.org/TR/2005/WD-xlink11-20050707/) 
specifies that the type attribute is optional (if the type is simple):
"An XML element conforms to XLink if:
[...]
    2.
       it does not have a type attribute from the XLink namespace and it 
adheres to the conformance constraints imposed by the XLink simple 
element type, as prescribed in this specification."

However, not all places in the specification seem to say that:
Consider http://www.w3.org/TR/2005/WD-xlink11-20050707/#link-types
"Constraint: type Value

The value of the type attribute must be supplied. [...]"


The example in 5.2 is also a bit confusing:
"The XLink element for simple links is any element with an attribute in 
the XLink namespace called type with a value of "simple". The simple 
equivalent of the above extended link would be as follows:

<studentlink xlink:href="...">Pat Jones</studentlink>
"

Contrary to what the prose implies, the example has no type attribute.

I think the 5.2 section should also mention somewhere that the type 
attribute is optional if href is specified.

thanks,
-biesi
(please CC me on replies, I'm not subscribed to this list)