Fix repo definition