Pushed as f1d08be7af to master. Thanks for the patch.

Regards,
RG.