minor repo name changes