minor tedx fixes