Patch applied as d4cef7edffe0283949fc0f06d7796cea3543b92f.
Thanks.