correct specification of dependency