Update specification.adoc