Update doc/Specs.txt