Update specification.html