of course it's the first one.
here's a partial list of restorations where the colors are revised in the same way:
http://forum.blu-ray.com/showthread.php?t=273492
and there are others too..
and of course they had to be in charge for one of my most anticipated restorations, the film INDOCHINE...