Fix specs.txt