Patch applied as 9038a46751c5090246e64b63ff752064833c435b.
Thanks.