TPTP had a bugfix without version change