@ktt3ja good catch!

@nikomatsakis obviously you need to change the other occurrences of the bad url. :)