Patch applied as 6e4b1b450cf3b8ab431b5923d411bb3de85ecada. Thanks.