Update specification.txt