Update specs.txt