Fix internal link github pages quirk.