Update docs to refer to the repo correctly