Pushed as de7a85f24c..ca5df4b60a to master  

--
Oleg