Fix repo name definition