small git fixes (hopefully)