Fix stupid GitHub url.