correct specification of language