fix occasional error on git push