Patch applied as 56e607efc85e220d89ddf42b8e5ba30dd7f05f16.
Thanks.