Updated docs to point to the proper repo