Output from xml2rfc 2.4.4