Adding formatting to pass xml2rfc