Update Specifications.md