Patch applied as cb2b282db7a4b2b0a97a32be842886a4e58b9dde. Thanks.