Patch applied as 782ef67a59f4b564f16101cf23c30a3777b3f734. Thanks.