fix an out of date url

Fix an out of date url.