Update state-spec.rst