show TEI header for debugging