set TEI revision to 11440