Weird things are happening with git...