Clean up from changing the name of the repo.