Patch applied as 713d3952e4872ed025e3068d0ece759c780b2f6d.
Thanks.