Fix a small typo, and add links to the header