Update specification.tex

Made some grammar/section edits.