Fix a broken link in documentation