Pushed as 13ae21cd05..2dd43fdacc to master.

--
Oleg