Fix title of specification.md