well, I read the game notes and there is a specific note about vichy france.
Fly-over restrictions applicable to other Neutral territories do not apply to Vichy French territory.
Unless I am missing something, Germany should have been able to fly over southern france. I do not see anywhere that just a US attacking SF, removes that restriction. It looks like a bug in the program unless there is a FAQ I am not aware of.