Fix a setting for CodeContracts.