Fix github internal link . . . maybe.