Fix a broken hyperlink.