Patch applied as 7d05e6c89e0de9853aa68dce6e21ea6451d40946.
Thanks.