Patch applied as 08ec4e8e7282837ee0ba1b85c6d91d579a8cc08f.
Thanks.