Pushed as 9b3f9090c8..053accdde3 to master.

Thanks,
Oleg