I've adjusted commit message and pushed to master as
bca0016e9b785bba3947a9e9ec5aa88c289ec521.

--
Oleg