fixing screwup with other repo