fix URL of repo on GitHub