That sounds right. My concern is due to the AF JFK-CDG flights I'm looking at being canceled 5% of the time (compared to 0% for DL and AA), according to flightstats and my experience having my one recent flight being canceled. I'm looking at the 10:30pm flight (so that I'll arrive at a sane time), so I'm hoping if they cancel they do so early enough to find an alternative.