Patch applied as cc7486cd9840917b3e7d7e00cec1022179863784.
Thanks.