Update docs/specifications.txt