Fix after renaming repo