More corrections fixing a repo problem