Update to reflect change in repo name.