trivial change trying to make git work again