Typos in comments in TcEvidence