Fix git repository URL

Just a minor annoyance.