Patch applied as 20778de562249e41530486507718825837ce381f.
Thanks.