So I tried to do it. And here's my result and I am not really sure if looks better or I worked on a wrong photo -- I mean there wasn't really any color cast at all.
Yellowish-greenish color cast (I think):
Removed yellowish-greenish color cast:
Did it really improve? Hmmm.. got look for something else to work on.