Added specification for modules