Fixed typo
 [ doc ] Fixed documentation related to a TPTP problem
Fixed typo
Released TPTP 6.1.0