Fix a number of broken links in the specification.