Update Specification.md

wording, fixing typo, formatting