Fix git screwup