Patch applied as 8bafca6f265ff0e8b900a0fbe01157a9268b772b.
Thanks.