Patch applied as 888d5268229e59b94c1e2616087bec4ca9d09a66.
Thanks.