Update spec.rst