Update SPECIFICATIONS.md