Update specification.md