Fix repo naming