Update rs-specification.md