Patch applied as 6c1716c8e35563da57e10c25e01bdce581d2bfc8. Thanks.