bug fix: quote URL

I hope I did this right. (The git push and then pull request, not quoting the URL, which was trivial. :-)