fix for bad git tree