Update specifications.md