adjust tcp2tei again