repository: Doc fix