Patch applied as 35c1f382944e727913020c03127be888bcb2352f.
Thanks.