Patch applied as fd7458331c1133fb1d7b5ddda3ac1d309aeacb03. Thanks.