Patch applied as e071f5a9531261164b13eaa1cd04c4b1851da923.
Thanks.