Fixing a URL as noticed by @rattis on Twitter.