Correct matching on get_contract_info/1