Fix a link in a doc file