Update doc/specification.tex