* fixed template for ContractNotCorrectly