Patch applied as ed60a524fbb34b0b37799c556f2516c06d050af3.
Thanks.