fix errors when genrating TPTP overview