Update specification.tex

Fixed typos.