small changes to the TEI header