tweaking wordpress to tei