Updated the SPEC.rst