Patch applied as ce0435f8280cdf481284302f8e8229903733b734. Thanks.