fix type-specification in inclusions+priority