Patch applied as 7307b05abd9d193a46e78b43f4d9376043f55c65.
Thanks.