Fix repo in docs