Patch applied as 2cddd8b935da12431c72c12a596bc4c0ee93b0f5.
Thanks.