[minor] a repo URL fix in doc