Fix broken TEDIE