More TEI fixes