fixed link that is broken since github infrastructure change