Change some text about ComCert