Patch applied as d2677a1ebb3cb19de0e2c27b84298700223d0234.
Thanks.