Patch applied as c91d1b0fb8e152e53105ffeb7dbc00fe570c6299. Thanks.