fix xml2rfc nits