added specification for modules