Patch applied as be9f749a29e30f78f81c3622d0668d19a472238a. Thanks.