renamed <module> tag to <spec>