ContractList -> ContractSet
Require name (or file), not file