renamed <module> to <spec>