Fix a duplicated anchor link that makes other links incorrect