Further updates for repo name change