Patch applied as bc2e923c19e79877a2ce3f360d3fadfdcb93515b.
Thanks.