Patch applied as 3007f77596a19608e4216ada575bec374da63f6f.
Thanks.