xml2rfc doesn't like tabs
RFC4871 is now RFC6376
Fix a name typo