Patch applied as 803f9d3038d3c3048079c63d51b7b40bff09f17a. Thanks.