Update spec.txt