cosmetic changes on list-filter and record-contract.spec