Fixed some references to the old repo name.