Pushed as 0209ee0b55 to master.

Thanks for the patch.

Regards,
RG.