Patch applied as 84e876f1f0abb379dfc90d5492970d58f7c80801.
Thanks.