They go red -> red+yellow -> green when making the red -> green transition.