Patch applied as 431f2ad7308532e9f70b6bdea5d129abf3110c1d.
Thanks.