Patch applied as 041ec0070951abb8a4c4671ef998f28ed82eb806. Thanks.