Update specification.tex

Do this dumbbutt.