ad-hoc fix to make it work with old version of xml2rfc