cosmetic changes in tptp2smt2