Update specification.tex

Additional edits added.