Pushed as 3363f2c878 to master. Thanks for the patch.

Regards,
RG.