Fixed a typo

Updated specification.md