Patch applied as 8aa3ae15dd228509646a360afd977701726f1850.
Thanks.