Generated values inconsistent with text - 4.16.9

4.16.9 manifest:key-derivation-name lists these values:

PBKDF2, 

urn:oasis:names:tc:opendocument:xmlns:manifest:1.0#pbkdf2, 

The implementation-defined IRI..., and 

PGP

But the generated values reads: 

"The values of the manifest:key-derivation-name attribute are PBKDF2 or a value of type anyURI 7.2."

{{}}

I'm aware that IRI is a superset of URI and URI is a superset of URN, but will that be the common understanding of readers? That is should we list "urn:oasis:names:tc:opendocument:xmlns:manifest:1.0#pbkdf2" explicitly? Notice I have added "implementation-defined" instead of anyURI. 

{{}}

{{}}