Fix a broken link found by sphinx linkcheck