Changes according to source repo renaming