Patch applied as dce70730b80c82bfc92531cb27016e8b0222a254.
Thanks.