Fix repo URL (the repo is case sensitive; it appears)