Changes due to repository renaming