Fix for static html TEI file